QCSP monsters and the demise of the Chen Conjecture.

Dmitriy Zhuk Barnaby Martin

Published in: CoRR (2019)

Keyphrases

constraint satisfaction problems
constraint satisfaction
conformant planning
constraint propagation
constraint programming
np complete
search space
symbolic model checking
constraint solving
phase transition
forward search
heuristic search
finite domain
np hard
ai planning
computationally hard
planning problems