Generalized Property Directed Reachability.

Krystof Hoder, Nikolaj S. Bjrner

Browse the full SAT paper archive.