ML Anthology

Automated Formulation of Constraint Satisfaction Problems

Mihaela Sabin, Eugene C. Freuder
AAAI 1996 pp. 1407
/aaai/1996/sabin1996aaai-automated/
PDF AAAI Semantic Scholar

Cite

Text

Sabin and Freuder. "Automated Formulation of Constraint Satisfaction Problems." AAAI Conference on Artificial Intelligence, 1996.

Markdown

[Sabin and Freuder. "Automated Formulation of Constraint Satisfaction Problems." AAAI Conference on Artificial Intelligence, 1996.](https://mlanthology.org/aaai/1996/sabin1996aaai-automated/)

BibTeX

@inproceedings{sabin1996aaai-automated,
  title     = {{Automated Formulation of Constraint Satisfaction Problems}},
  author    = {Sabin, Mihaela and Freuder, Eugene C.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1996},
  pages     = {1407},
  url       = {https://mlanthology.org/aaai/1996/sabin1996aaai-automated/}
}