Q-Resolution with Generalized Axioms.

Florian Lonsing, Uwe Egly, Martina Seidl

Browse the full SAT paper archive.