ML Anthology

Towards an Understanding of Hill-Climbing Procedures for SAT

Ian P. Gent, Toby Walsh
AAAI 1993 pp. 28-33
/aaai/1993/gent1993aaai-understanding/
PDF AAAI Semantic Scholar

Cite

Text

Gent and Walsh. "Towards an Understanding of Hill-Climbing Procedures for SAT." AAAI Conference on Artificial Intelligence, 1993.

Markdown

[Gent and Walsh. "Towards an Understanding of Hill-Climbing Procedures for SAT." AAAI Conference on Artificial Intelligence, 1993.](https://mlanthology.org/aaai/1993/gent1993aaai-understanding/)

BibTeX

@inproceedings{gent1993aaai-understanding,
  title     = {{Towards an Understanding of Hill-Climbing Procedures for SAT}},
  author    = {Gent, Ian P. and Walsh, Toby},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {28-33},
  url       = {https://mlanthology.org/aaai/1993/gent1993aaai-understanding/}
}