ML Anthology

Generating and Solving Logic Puzzles Through Constraint Satisfaction

Barry O'Sullivan, John Horan
AAAI 2007 pp. 1974-1975
/aaai/2007/oapossullivan2007aaai-generating/
PDF AAAI Semantic Scholar

Cite

Text

O'Sullivan and Horan. "Generating and Solving Logic Puzzles Through Constraint Satisfaction." AAAI Conference on Artificial Intelligence, 2007.

Markdown

[O'Sullivan and Horan. "Generating and Solving Logic Puzzles Through Constraint Satisfaction." AAAI Conference on Artificial Intelligence, 2007.](https://mlanthology.org/aaai/2007/oapossullivan2007aaai-generating/)

BibTeX

@inproceedings{oapossullivan2007aaai-generating,
  title     = {{Generating and Solving Logic Puzzles Through Constraint Satisfaction}},
  author    = {O'Sullivan, Barry and Horan, John},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {1974-1975},
  url       = {https://mlanthology.org/aaai/2007/oapossullivan2007aaai-generating/}
}