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

2010 IEEE 51st Annual Symposium on Foundations of Computer Science ◽

10.1109/focs.2010.25 ◽

2010 ◽

Author(s):

Rahul Santhanam

Download Full-text