ML Anthology

Using CSP Look-Back Techniques to Solve Real-World SAT Instances

Roberto J. Bayardo Jr., Robert Schrag
AAAI 1997 pp. 203-208
/aaai/1997/jr1997aaai-using/
PDF AAAI Semantic Scholar

Cite

Text

Jr. and Schrag. "Using CSP Look-Back Techniques to Solve Real-World SAT Instances." AAAI Conference on Artificial Intelligence, 1997.

Markdown

[Jr. and Schrag. "Using CSP Look-Back Techniques to Solve Real-World SAT Instances." AAAI Conference on Artificial Intelligence, 1997.](https://mlanthology.org/aaai/1997/jr1997aaai-using/)

BibTeX

@inproceedings{jr1997aaai-using,
  title     = {{Using CSP Look-Back Techniques to Solve Real-World SAT Instances}},
  author    = {Jr., Roberto J. Bayardo and Schrag, Robert},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {203-208},
  url       = {https://mlanthology.org/aaai/1997/jr1997aaai-using/}
}