Fighting Perebor: New and Improved Algorithms for Formula and QBF Satisfiability.

Rahul Santhanam

Browse the full FOCS paper archive.