BibTeX record conf/cp/BayardoS96

• > Home > conf/cp/BayardoS96

@inproceedings{DBLP:conf/cp/BayardoS96,
  author       = {Roberto J. Bayardo Jr. and
                  Robert Schrag},
  editor       = {Eugene C. Freuder},
  title        = {Using {CSP} Look-Back Techniques to Solve Exceptionally Hard {SAT}
                  Instances},
  booktitle    = {Proceedings of the Second International Conference on Principles and
                  Practice of Constraint Programming, Cambridge, Massachusetts, USA,
                  August 19-22, 1996},
  series       = {Lecture Notes in Computer Science},
  volume       = {1118},
  pages        = {46--60},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61551-2\_65},
  doi          = {10.1007/3-540-61551-2\_65},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BayardoS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}