The QBF Solver AIGSolve.

Christoph Scholl, Florian Pigorsch

Browse the full SAT paper archive.