Property Directed Reachability with Extended Resolution.

Andrew Luka, Yakir Vizel

Browse the full CAV paper archive.