ML Anthology

Local Search Characteristics of Incomplete SAT Procedures

Dale Schuurmans, Finnegan Southey
AAAI 2000 pp. 297-302
/aaai/2000/schuurmans2000aaai-local/
PDF AAAI Semantic Scholar

Cite

Text

Schuurmans and Southey. "Local Search Characteristics of Incomplete SAT Procedures." AAAI Conference on Artificial Intelligence, 2000.

Markdown

[Schuurmans and Southey. "Local Search Characteristics of Incomplete SAT Procedures." AAAI Conference on Artificial Intelligence, 2000.](https://mlanthology.org/aaai/2000/schuurmans2000aaai-local/)

BibTeX

@inproceedings{schuurmans2000aaai-local,
  title     = {{Local Search Characteristics of Incomplete SAT Procedures}},
  author    = {Schuurmans, Dale and Southey, Finnegan},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2000},
  pages     = {297-302},
  url       = {https://mlanthology.org/aaai/2000/schuurmans2000aaai-local/}
}