The Complexity of Phylogeny Constraint Satisfaction.
Manuel BodirskyPeter JonssonVan Trung PhamPublished in: STACS (2016)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- phase transition
- constraint relaxation
- relaxation labeling
- arc consistency
- russian doll search
- product configuration
- constraint propagation
- constraint solving
- constraint programming
- probabilistic reasoning
- soft constraints
- search strategies
- robust fault detection
- computational complexity
- constraint networks
- worst case
- sat solvers
- constraint solver
- orders of magnitude