sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning.

Enrico Giunchiglia, Paolo Marin, Massimo Narizzano

Browse the full SAT paper archive.