Subsumption-Linear Q-Resolution for QBF Theorem Proving.

Allen Van Gelder

Browse the full WoLLIC paper archive.