ML Anthology

SAT-Encodings, Search Space Structure, and Local Search Performance

Holger H. Hoos
IJCAI 1999 pp. 296-303
/ijcai/1999/hoos1999ijcai-sat/
PDF IJCAI Semantic Scholar

Cite

Text

Hoos. "SAT-Encodings, Search Space Structure, and Local Search Performance." International Joint Conference on Artificial Intelligence, 1999.

Markdown

[Hoos. "SAT-Encodings, Search Space Structure, and Local Search Performance." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/hoos1999ijcai-sat/)

BibTeX

@inproceedings{hoos1999ijcai-sat,
  title     = {{SAT-Encodings, Search Space Structure, and Local Search Performance}},
  author    = {Hoos, Holger H.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {296-303},
  url       = {https://mlanthology.org/ijcai/1999/hoos1999ijcai-sat/}
}