ML Anthology

Detecting Unsatisfiable CSPs by Coloring the Micro-Structure

Daya Ram Gaur, W. Ken Jackson, William S. Havens
AAAI 1997 pp. 215
/aaai/1997/gaur1997aaai-detecting/
PDF AAAI Semantic Scholar

Cite

Text

Gaur et al. "Detecting Unsatisfiable CSPs by Coloring the Micro-Structure." AAAI Conference on Artificial Intelligence, 1997.

Markdown

[Gaur et al. "Detecting Unsatisfiable CSPs by Coloring the Micro-Structure." AAAI Conference on Artificial Intelligence, 1997.](https://mlanthology.org/aaai/1997/gaur1997aaai-detecting/)

BibTeX

@inproceedings{gaur1997aaai-detecting,
  title     = {{Detecting Unsatisfiable CSPs by Coloring the Micro-Structure}},
  author    = {Gaur, Daya Ram and Jackson, W. Ken and Havens, William S.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {215},
  url       = {https://mlanthology.org/aaai/1997/gaur1997aaai-detecting/}
}