QCSP on Partially Reflexive Cycles - The Wavy Line of Tractability.

Florent R. Madelaine Barnaby Martin

Published in: CSR (2013)

Keyphrases

constraint satisfaction
constraint satisfaction problems
np complete
constraint programming
conformant planning
constraint propagation
heuristic search
phase transition
constraint solving
search space
state space
initial state
finite domain
symbolic model checking