@inproceedings{conf/cade/Felgenhauer17,
  added-at = {2020-05-27T00:00:00.000+0200},
  author = {Felgenhauer, Bertram},
  biburl = {https://www.bibsonomy.org/bibtex/2d78824901c0849ad9f1ffdc59753fd16/dblp},
  booktitle = {ARCADE@CADE},
  crossref = {conf/cade/2017arcade},
  editor = {Reger, Giles and Traytel, Dmitriy},
  ee = {https://easychair.org/publications/paper/TFMG},
  interhash = {f94ee1c0bc8e9bbd37e7eba3d1738456},
  intrahash = {d78824901c0849ad9f1ffdc59753fd16},
  keywords = {dblp},
  pages = {46-50},
  publisher = {EasyChair},
  series = {EPiC Series in Computing},
  timestamp = {2020-05-28T11:56:57.000+0200},
  title = {Beyond DRAT: Challenges in Certifying UNSAT.},
  url = {http://dblp.uni-trier.de/db/conf/cade/arcade2017.html#Felgenhauer17},
  volume = 51,
  year = 2017
}

{"_id":"RM6hFS28GKWeKf6Dr","bibbaseid":"felgenhauer-beyonddratchallengesincertifyingunsat-2017","authorIDs":[],"author_short":["Felgenhauer, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-05-27T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Felgenhauer"],"firstnames":["Bertram"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2d78824901c0849ad9f1ffdc59753fd16/dblp","booktitle":"ARCADE@CADE","crossref":"conf/cade/2017arcade","editor":[{"propositions":[],"lastnames":["Reger"],"firstnames":["Giles"],"suffixes":[]},{"propositions":[],"lastnames":["Traytel"],"firstnames":["Dmitriy"],"suffixes":[]}],"ee":"https://easychair.org/publications/paper/TFMG","interhash":"f94ee1c0bc8e9bbd37e7eba3d1738456","intrahash":"d78824901c0849ad9f1ffdc59753fd16","keywords":"dblp","pages":"46-50","publisher":"EasyChair","series":"EPiC Series in Computing","timestamp":"2020-05-28T11:56:57.000+0200","title":"Beyond DRAT: Challenges in Certifying UNSAT.","url":"http://dblp.uni-trier.de/db/conf/cade/arcade2017.html#Felgenhauer17","volume":"51","year":"2017","bibtex":"@inproceedings{conf/cade/Felgenhauer17,\n added-at = {2020-05-27T00:00:00.000+0200},\n author = {Felgenhauer, Bertram},\n biburl = {https://www.bibsonomy.org/bibtex/2d78824901c0849ad9f1ffdc59753fd16/dblp},\n booktitle = {ARCADE@CADE},\n crossref = {conf/cade/2017arcade},\n editor = {Reger, Giles and Traytel, Dmitriy},\n ee = {https://easychair.org/publications/paper/TFMG},\n interhash = {f94ee1c0bc8e9bbd37e7eba3d1738456},\n intrahash = {d78824901c0849ad9f1ffdc59753fd16},\n keywords = {dblp},\n pages = {46-50},\n publisher = {EasyChair},\n series = {EPiC Series in Computing},\n timestamp = {2020-05-28T11:56:57.000+0200},\n title = {Beyond DRAT: Challenges in Certifying UNSAT.},\n url = {http://dblp.uni-trier.de/db/conf/cade/arcade2017.html#Felgenhauer17},\n volume = 51,\n year = 2017\n}\n\n","author_short":["Felgenhauer, B."],"editor_short":["Reger, G.","Traytel, D."],"key":"conf/cade/Felgenhauer17","id":"conf/cade/Felgenhauer17","bibbaseid":"felgenhauer-beyonddratchallengesincertifyingunsat-2017","role":"author","urls":{"Link":"https://easychair.org/publications/paper/TFMG","Paper":"http://dblp.uni-trier.de/db/conf/cade/arcade2017.html#Felgenhauer17"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Bertram?items=1000","creationDate":"2020-08-03T18:34:52.402Z","downloads":0,"keywords":["dblp"],"search_terms":["beyond","drat","challenges","certifying","unsat","felgenhauer"],"title":"Beyond DRAT: Challenges in Certifying UNSAT.","year":2017,"dataSources":["fYGRSD8HXJYwZPaY7"]}