QCSP on Reflexive Tournaments.

Benoît Larose Petar Markovic Barnaby Martin Daniël Paulusma Siani Smith Stanislav Zivný

Published in: CoRR (2021)

Keyphrases

constraint satisfaction problems
constraint satisfaction
conformant planning
constraint propagation
search space
np complete
constraint programming
finite domain
initial state
symbolic model checking
np hard
belief space
forward search
phase transition
temporal constraints
computationally hard
optimal solution