Fighting perebor: New and improved algorithms for formula and qbf satisfiability (2010)

by R Santhanam
Venue:In Proceedings of the Fifty-First Annual IEEE Symposium on Foundations of Computer Science