%0 Conference Paper %1 conf/itp/HeuleHKW17 %A Heule, Marijn %A Jr., Warren A. Hunt %A Kaufmann, Matt %A Wetzler, Nathan %B ITP %D 2017 %E Ayala-Rincón, Mauricio %E Muñoz, César A. %I Springer %K dblp %P 269-284 %T Efficient, Verified Checking of Propositional Proofs. %U http://dblp.uni-trier.de/db/conf/itp/itp2017.html#HeuleHKW17 %V 10499 %@ 978-3-319-66107-0

@inproceedings{conf/itp/HeuleHKW17, added-at = {2017-09-06T00:00:00.000+0200}, author = {Heule, Marijn and Jr., Warren A. Hunt and Kaufmann, Matt and Wetzler, Nathan}, biburl = {https://www.bibsonomy.org/bibtex/256e9647ff7512767476abb92953087d5/dblp}, booktitle = {ITP}, crossref = {conf/itp/2017}, editor = {Ayala-Rincón, Mauricio and Muñoz, César A.}, ee = {https://doi.org/10.1007/978-3-319-66107-0_18}, interhash = {14bbb8049076d5d0705294a33f4d5395}, intrahash = {56e9647ff7512767476abb92953087d5}, isbn = {978-3-319-66107-0}, keywords = {dblp}, pages = {269-284}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:14:23.000+0200}, title = {Efficient, Verified Checking of Propositional Proofs.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2017.html#HeuleHKW17}, volume = 10499, year = 2017 }