QBF Reasoning on Real-World Instances.

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

Browse the full SAT paper archive.