ML Anthology

DISTANCE-SAT: Complexity and Algorithms

Olivier Bailleux, Pierre Marquis
AAAI 1999 pp. 642-647
/aaai/1999/bailleux1999aaai-distance/
PDF AAAI Semantic Scholar

Cite

Text

Bailleux and Marquis. "DISTANCE-SAT: Complexity and Algorithms." AAAI Conference on Artificial Intelligence, 1999.

Markdown

[Bailleux and Marquis. "DISTANCE-SAT: Complexity and Algorithms." AAAI Conference on Artificial Intelligence, 1999.](https://mlanthology.org/aaai/1999/bailleux1999aaai-distance/)

BibTeX

@inproceedings{bailleux1999aaai-distance,
  title     = {{DISTANCE-SAT: Complexity and Algorithms}},
  author    = {Bailleux, Olivier and Marquis, Pierre},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {642-647},
  url       = {https://mlanthology.org/aaai/1999/bailleux1999aaai-distance/}
}