2QBF: Challenges and Solutions.

Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl, Alan Mishchenko, Robert K. Brayton

Browse the full SAT paper archive.