Conference item icon

Conference item

Relating Proof Complexity Measures and Practical Hardness of SAT

Actions


Access Document


Authors


Matti Järvisalo More by this author
Arie Matsliah More by this author
Jakob Nordström More by this author
Stanislav Živný More by this author
Publisher:
Springer
Volume:
7514
Publication date:
2012
DOI:
URN:
uuid:9b189630-6d36-4f15-ac02-adaa13b05b04
Local pid:
cs:7103

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP