SabinF96'

BibTeX

@inproceedings{DBLP:conf/aaai/SabinF96,
  author    = {Mihaela Sabin and
               Eugene C. Freuder},
  title     = {Automated Formulation of Constraint Satisfaction Problems},
  booktitle = {AAAI/IAAI, Vol. 2},
  year      = {1996},
  pages     = {1407-1407},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}