%0 Conference Paper %1 conf/cade/HeuleHW13 %A Heule, Marijn %A Jr., Warren A. Hunt %A Wetzler, Nathan %B CADE %D 2013 %E Bonacina, Maria Paola %I Springer %K dblp %P 345-359 %T Verifying Refutations with Extended Resolution. %U http://dblp.uni-trier.de/db/conf/cade/cade2013.html#HeuleHW13 %V 7898 %@ 978-3-642-38573-5

@inproceedings{conf/cade/HeuleHW13, added-at = {2017-05-21T00:00:00.000+0200}, author = {Heule, Marijn and Jr., Warren A. Hunt and Wetzler, Nathan}, biburl = {https://www.bibsonomy.org/bibtex/22a5b74eaca524716aaf5315a42fc8f75/dblp}, booktitle = {CADE}, crossref = {conf/cade/2013}, editor = {Bonacina, Maria Paola}, ee = {https://doi.org/10.1007/978-3-642-38574-2_24}, interhash = {b0427613bdd36277341adcf957d20e18}, intrahash = {2a5b74eaca524716aaf5315a42fc8f75}, isbn = {978-3-642-38573-5}, keywords = {dblp}, pages = {345-359}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:13.000+0200}, title = {Verifying Refutations with Extended Resolution.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2013.html#HeuleHW13}, volume = 7898, year = 2013 }