ML Anthology

A Mixture-Model for the Behaviour of SLS Algorithms for SAT

Holger H. Hoos
AAAI 2002 pp. 661-667
/aaai/2002/hoos2002aaai-mixture/
PDF AAAI Semantic Scholar

Cite

Text

Hoos. "A Mixture-Model for the Behaviour of SLS Algorithms for SAT." AAAI Conference on Artificial Intelligence, 2002.

Markdown

[Hoos. "A Mixture-Model for the Behaviour of SLS Algorithms for SAT." AAAI Conference on Artificial Intelligence, 2002.](https://mlanthology.org/aaai/2002/hoos2002aaai-mixture/)

BibTeX

@inproceedings{hoos2002aaai-mixture,
  title     = {{A Mixture-Model for the Behaviour of SLS Algorithms for SAT}},
  author    = {Hoos, Holger H.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2002},
  pages     = {661-667},
  url       = {https://mlanthology.org/aaai/2002/hoos2002aaai-mixture/}
}