QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency.

Ashish Sabharwal, Carlos Anstegui, Carla P. Gomes, Justin W. Hart, Bart Selman

Browse the full SAT paper archive.