QCSP on Reflexive Tournaments.
Benoît LarosePetar MarkovicBarnaby MartinDaniël PaulusmaSiani SmithStanislav ZivnýPublished in: ESA (2021)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- conformant planning
- constraint propagation
- constraint programming
- np complete
- search space
- constraint solving
- np hard
- finite domain
- computationally hard
- forward search
- constraint solver
- symbolic model checking
- temporal constraints
- heuristic search
- domain specific