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)
Publisher
Springer
Series
Lecture Notes in Computer Science
Year
2012