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.

Abstract

Abstract is missing.