QCSP monsters and the demise of the chen conjecture.

Dmitriy Zhuk Barnaby Martin

Published in: STOC (2020)

Keyphrases

constraint satisfaction problems
constraint satisfaction
conformant planning
constraint propagation
constraint programming
np complete
search space
constraint solving
symbolic model checking
finite domain
forward search
belief space
computational complexity
phase transition