QRP+Gen: A Framework for Checking Q-Resolution Proofs with Generalized Axioms.

Mark Peyrer, Martina Seidl

Browse the full SAT paper archive.