Relating Proof Complexity Measures and Practical Hardness of SAT.

Matti Jrvisalo, Arie Matsliah, Jakob Nordstrm, Stanislav Zivn

Browse the full CP paper archive.