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.

Authors

Daya Ram Gaur

This author has not been identified. Look up 'Daya Ram Gaur' in Google

W. Ken Jackson

This author has not been identified. Look up 'W. Ken Jackson' in Google

William S. Havens

This author has not been identified. Look up 'William S. Havens' in Google