Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction.

Weiming Liu Sanjiang Li

Published in: ECAI (2012)

Keyphrases

constraint satisfaction
constraint satisfaction problems
russian doll search
heuristic search
constraint programming
evolutionary algorithm
computational complexity
special case
phase transition
sat solvers
relaxation labeling