%0 Conference Paper %1 conf/cp/JarvisaloMNZ12 %A Järvisalo, Matti %A Matsliah, Arie %A Nordström, Jakob %A Zivný, Stanislav %B CP %D 2012 %E Milano, Michela %I Springer %K dblp %P 316-331 %T Relating Proof Complexity Measures and Practical Hardness of SAT. %U http://dblp.uni-trier.de/db/conf/cp/cp2012.html#JarvisaloMNZ12 %V 7514 %@ 978-3-642-33557-0

@inproceedings{conf/cp/JarvisaloMNZ12, added-at = {2020-08-03T00:00:00.000+0200}, author = {Järvisalo, Matti and Matsliah, Arie and Nordström, Jakob and Zivný, Stanislav}, biburl = {https://www.bibsonomy.org/bibtex/2ccb5df6c1b9c24c09310d4d46cfeadd2/dblp}, booktitle = {CP}, crossref = {conf/cp/2012}, editor = {Milano, Michela}, ee = {https://doi.org/10.1007/978-3-642-33558-7_25}, interhash = {7e448e64ed48a2ba605b8e2314eaa1b5}, intrahash = {ccb5df6c1b9c24c09310d4d46cfeadd2}, isbn = {978-3-642-33557-0}, keywords = {dblp}, pages = {316-331}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-04T11:42:03.000+0200}, title = {Relating Proof Complexity Measures and Practical Hardness of SAT.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2012.html#JarvisaloMNZ12}, volume = 7514, year = 2012 }