Compilation for QCSP.

Published in: CoRR (2013)

Keyphrases

constraint satisfaction problems
constraint satisfaction
conformant planning
constraint propagation
constraint programming
search space
np complete
constraint solving
np hard
heuristic search
finite domain
ai planning
initial state
symbolic model checking
learning algorithm
lower bound