QCSP on Reflexive Tournaments.

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

Published in: ACM Trans. Comput. Log. (2022)

Keyphrases

constraint satisfaction problems
constraint satisfaction
conformant planning
constraint propagation
search space
constraint programming
np complete
symbolic model checking
initial state
belief space
finite domain
np hard
constraint solving
state space
computationally hard
domain specific
probability distribution