Detecting Unsatisfiable CSPs by Coloring the Micro-Structure

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.