Relating Proof Complexity Measures and Practical Hardness of SAT
Matti Järvisalo‚ Arie Matsliah‚ Jakob Nordström and Stanislav Živný
Book Title
Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP'12)
Pages
316–331
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7514
Year
2012