Property Directed Reachability with Extended Resolution. - Andrew Luka; Yakir Vizel (CAV (1), 2025)