ML Anthology

Tuning Local Search for Satisfiability Testing

Andrew J. Parkes, Joachim P. Walser
AAAI 1996 pp. 356-362
/aaai/1996/parkes1996aaai-tuning/
PDF AAAI Semantic Scholar

Cite

Text

Parkes and Walser. "Tuning Local Search for Satisfiability Testing." AAAI Conference on Artificial Intelligence, 1996.

Markdown

[Parkes and Walser. "Tuning Local Search for Satisfiability Testing." AAAI Conference on Artificial Intelligence, 1996.](https://mlanthology.org/aaai/1996/parkes1996aaai-tuning/)

BibTeX

@inproceedings{parkes1996aaai-tuning,
  title     = {{Tuning Local Search for Satisfiability Testing}},
  author    = {Parkes, Andrew J. and Walser, Joachim P.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1996},
  pages     = {356-362},
  url       = {https://mlanthology.org/aaai/1996/parkes1996aaai-tuning/}
}