ML Anthology

An Empirical Study of Greedy Local Search for Satisfiability Testing

Bart Selman, Henry A. Kautz
AAAI 1993 pp. 46-51
/aaai/1993/selman1993aaai-empirical/
PDF AAAI Semantic Scholar

Cite

Text

Selman and Kautz. "An Empirical Study of Greedy Local Search for Satisfiability Testing." AAAI Conference on Artificial Intelligence, 1993.

Markdown

[Selman and Kautz. "An Empirical Study of Greedy Local Search for Satisfiability Testing." AAAI Conference on Artificial Intelligence, 1993.](https://mlanthology.org/aaai/1993/selman1993aaai-empirical/)

BibTeX

@inproceedings{selman1993aaai-empirical,
  title     = {{An Empirical Study of Greedy Local Search for Satisfiability Testing}},
  author    = {Selman, Bart and Kautz, Henry A.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {46-51},
  url       = {https://mlanthology.org/aaai/1993/selman1993aaai-empirical/}
}