ML Anthology

The Interface Between P and NP: COL, XOR, NAE, 1-in-K, and Horn SAT

Toby Walsh
AAAI 2002 pp. 695-701
/aaai/2002/walsh2002aaai-interface/
PDF AAAI Semantic Scholar

Cite

Text

Walsh. "The Interface Between P and NP: COL, XOR, NAE, 1-in-K, and Horn SAT." AAAI Conference on Artificial Intelligence, 2002.

Markdown

[Walsh. "The Interface Between P and NP: COL, XOR, NAE, 1-in-K, and Horn SAT." AAAI Conference on Artificial Intelligence, 2002.](https://mlanthology.org/aaai/2002/walsh2002aaai-interface/)

BibTeX

@inproceedings{walsh2002aaai-interface,
  title     = {{The Interface Between P and NP: COL, XOR, NAE, 1-in-K, and Horn SAT}},
  author    = {Walsh, Toby},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2002},
  pages     = {695-701},
  url       = {https://mlanthology.org/aaai/2002/walsh2002aaai-interface/}
}