Detecting Unsatisfiable CSPs by Coloring the Micro-Structure - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Daya Ram Gaur, W. Ken Jackson, William S. Havens. Detecting Unsatisfiable CSPs by Coloring the Micro-Structure. In AAAI/IAAI. pages 215, 1997.

@inproceedings{GaurJH97,
  title = {Detecting Unsatisfiable CSPs by Coloring the Micro-Structure},
  author = {Daya Ram Gaur and W. Ken Jackson and William S. Havens},
  year = {1997},
  researchr = {https://researchr.org/publication/GaurJH97},
  cites = {0},
  citedby = {0},
  pages = {215},
  booktitle = {AAAI/IAAI},
}

runs on WebDSL