Detecting Unsatisfiable CSPs by Coloring the Micro-Structure.

Daya Ram Gaur W. Ken Jackson William S. Havens

Published in: AAAI/IAAI (1997)

Keyphrases

constraint satisfaction problems
constraint satisfaction
hierarchical structure
database
objective function
computational complexity
tabu search
network structure
automatic detection