@inproceedings{conf/sat/BurchardSB15,
  added-at = {2015-09-17T00:00:00.000+0200},
  author = {Burchard, Jan and Schubert, Tobias and Becker, Bernd},
  biburl = {http://www.bibsonomy.org/bibtex/21b0cb5170747975bf08dd38857592797/dblp},
  booktitle = {SAT},
  crossref = {conf/sat/2015},
  editor = {Heule, Marijn and Weaver, Sean},
  ee = {http://dx.doi.org/10.1007/978-3-319-24318-4_5},
  interhash = {2bfb2202bb763e6240d5d4809e541bcc},
  intrahash = {1b0cb5170747975bf08dd38857592797},
  isbn = {978-3-319-24317-7},
  keywords = {dblp},
  pages = {46-61},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2015-09-18T11:33:47.000+0200},
  title = {Laissez-Faire Caching for Parallel #SAT Solving.},
  url = {http://dblp.uni-trier.de/db/conf/sat/sat2015.html#BurchardSB15},
  volume = 9340,
  year = 2015
}

{"_id":"uSPuRCid6Ncr2p3LK","bibbaseid":"burchard-schubert-becker-laissezfairecachingforparallelsatsolving-2015","downloads":0,"creationDate":"2016-02-23T05:01:46.291Z","title":"Laissez-Faire Caching for Parallel #SAT Solving.","author_short":["Burchard, J.","Schubert, T.","Becker, B."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/tobias friedrich?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-09-17T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Burchard"],"firstnames":["Jan"],"suffixes":[]},{"propositions":[],"lastnames":["Schubert"],"firstnames":["Tobias"],"suffixes":[]},{"propositions":[],"lastnames":["Becker"],"firstnames":["Bernd"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/21b0cb5170747975bf08dd38857592797/dblp","booktitle":"SAT","crossref":"conf/sat/2015","editor":[{"propositions":[],"lastnames":["Heule"],"firstnames":["Marijn"],"suffixes":[]},{"propositions":[],"lastnames":["Weaver"],"firstnames":["Sean"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-319-24318-4_5","interhash":"2bfb2202bb763e6240d5d4809e541bcc","intrahash":"1b0cb5170747975bf08dd38857592797","isbn":"978-3-319-24317-7","keywords":"dblp","pages":"46-61","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2015-09-18T11:33:47.000+0200","title":"Laissez-Faire Caching for Parallel #SAT Solving.","url":"http://dblp.uni-trier.de/db/conf/sat/sat2015.html#BurchardSB15","volume":"9340","year":"2015","bibtex":"@inproceedings{conf/sat/BurchardSB15,\n added-at = {2015-09-17T00:00:00.000+0200},\n author = {Burchard, Jan and Schubert, Tobias and Becker, Bernd},\n biburl = {http://www.bibsonomy.org/bibtex/21b0cb5170747975bf08dd38857592797/dblp},\n booktitle = {SAT},\n crossref = {conf/sat/2015},\n editor = {Heule, Marijn and Weaver, Sean},\n ee = {http://dx.doi.org/10.1007/978-3-319-24318-4_5},\n interhash = {2bfb2202bb763e6240d5d4809e541bcc},\n intrahash = {1b0cb5170747975bf08dd38857592797},\n isbn = {978-3-319-24317-7},\n keywords = {dblp},\n pages = {46-61},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2015-09-18T11:33:47.000+0200},\n title = {Laissez-Faire Caching for Parallel #SAT Solving.},\n url = {http://dblp.uni-trier.de/db/conf/sat/sat2015.html#BurchardSB15},\n volume = 9340,\n year = 2015\n}\n\n","author_short":["Burchard, J.","Schubert, T.","Becker, B."],"editor_short":["Heule, M.","Weaver, S."],"key":"conf/sat/BurchardSB15","id":"conf/sat/BurchardSB15","bibbaseid":"burchard-schubert-becker-laissezfairecachingforparallelsatsolving-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-319-24318-4_5","Paper":"http://dblp.uni-trier.de/db/conf/sat/sat2015.html#BurchardSB15"},"keyword":["dblp"],"downloads":0},"search_terms":["laissez","faire","caching","parallel","sat","solving","burchard","schubert","becker"],"keywords":["dblp"],"authorIDs":[],"dataSources":["oHoup8Tse8r9DcDBh"]}