Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Fighting Perebor: New and Improved Algorithms for Formula and QBF Satisfiability

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

Rahul Santhanam

Journal
Proceedings of the 51st Annual IEEE Symposium on Foundations of Computer Science
Year
2010

Links

See Also

Back to Top