Laissez-Faire Caching for Parallel #SAT Solving. Burchard, J., Schubert, T., & Becker, B. In Heule, M. & Weaver, S., editors, SAT, volume 9340, of Lecture Notes in Computer Science, pages 46-61, 2015. Springer.
Laissez-Faire Caching for Parallel #SAT Solving. [link]Link  Laissez-Faire Caching for Parallel #SAT Solving. [link]Paper  bibtex   
@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
}

Downloads: 0