QCSP Monsters and the Demise of the Chen Conjecture.

Dmitriy Zhuk Barnaby Martin

Published in: J. ACM (2022)

Keyphrases

constraint satisfaction problems
constraint satisfaction
conformant planning
constraint propagation
constraint programming
np complete
search space
symbolic model checking
constraint solving
finite domain
np hard
belief space
computationally hard
dynamic environments
formal verification
constraint solver