Detecting Unsatisfiable CSPs by Coloring the Micro-Structure.

Daya Ram Gaur, W. Ken Jackson, William S. Havens

Browse the full AAAI paper archive.