A Complexity Dichotomy for Poset Constraint Satisfaction.
Michael KompatscherVan Trung PhamPublished in: STACS (2017)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- relaxation labeling
- constraint propagation
- constraint programming
- phase transition
- probabilistic reasoning
- arc consistency
- constraint relaxation
- sat solvers
- search strategies
- partial order
- worst case
- soft constraints
- constraint problems
- combinatorial problems
- forward checking
- computational complexity
- product configuration
- partially ordered
- constraint optimization
- genetic algorithm
- robust fault detection
- russian doll search