@inproceedings{DBLP:conf/sat/Knuth12,
  author    = {Donald E. Knuth},
  editor    = {Alessandro Cimatti and
               Roberto Sebastiani},
  title     = {Satisfiability and The Art of Computer Programming},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
               International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7317},
  pages     = {15},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31612-8\_2},
  doi       = {10.1007/978-3-642-31612-8\_2},
  timestamp = {Sun, 02 Jun 2019 21:24:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sat/Knuth12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"c5DXCS56vijswmgxn","bibbaseid":"knuth-satisfiabilityandtheartofcomputerprogramming-2012","authorIDs":[],"author_short":["Knuth, D. E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Donald","E."],"propositions":[],"lastnames":["Knuth"],"suffixes":[]}],"editor":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Cimatti"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Sebastiani"],"suffixes":[]}],"title":"Satisfiability and The Art of Computer Programming","booktitle":"Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings","series":"Lecture Notes in Computer Science","volume":"7317","pages":"15","publisher":"Springer","year":"2012","url":"https://doi.org/10.1007/978-3-642-31612-8\\_2","doi":"10.1007/978-3-642-31612-8_2","timestamp":"Sun, 02 Jun 2019 21:24:00 +0200","biburl":"https://dblp.org/rec/conf/sat/Knuth12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sat/Knuth12,\n author = {Donald E. Knuth},\n editor = {Alessandro Cimatti and\n Roberto Sebastiani},\n title = {Satisfiability and The Art of Computer Programming},\n booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th\n International Conference, Trento, Italy, June 17-20, 2012. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {7317},\n pages = {15},\n publisher = {Springer},\n year = {2012},\n url = {https://doi.org/10.1007/978-3-642-31612-8\\_2},\n doi = {10.1007/978-3-642-31612-8\\_2},\n timestamp = {Sun, 02 Jun 2019 21:24:00 +0200},\n biburl = {https://dblp.org/rec/conf/sat/Knuth12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Knuth, D. E."],"editor_short":["Cimatti, A.","Sebastiani, R."],"key":"DBLP:conf/sat/Knuth12","id":"DBLP:conf/sat/Knuth12","bibbaseid":"knuth-satisfiabilityandtheartofcomputerprogramming-2012","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-31612-8\\_2"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/bibs/knuth_selected.bib","creationDate":"2020-09-02T04:23:16.381Z","downloads":0,"keywords":[],"search_terms":["satisfiability","art","computer","programming","knuth"],"title":"Satisfiability and The Art of Computer Programming","year":2012,"dataSources":["itEMDWSsMF4yAjQgP","FgN8wyz49iiKEDqqP"]}