[IEEE 2010 IEEE 51st Annual Symposium on Foundations of Computer Science (FOCS) - Las Vegas, NV, USA (2010.10.23-2010.10.26)] 2010 IEEE 51st Annual Symposium on Foundations of Computer Science - Fighting Perebor: New and Improved Algorithms for Formula and QBF Satisfiability
Santhanam, RahulYear:
2010
Language:
english
DOI:
10.1109/focs.2010.25
File:
PDF, 555 KB
english, 2010