Horn versus full first-order: complexity dichotomies in algebraic constraint satisfaction
Manuel BodirskyPeter JonssonTimo von OertzenPublished in: CoRR (2010)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- relaxation labeling
- heuristic search
- constraint programming
- constraint relaxation
- phase transition
- combinatorial problems
- first order logic
- russian doll search
- computational complexity
- horn theories
- horn clauses
- worst case
- probabilistic reasoning
- arc consistency
- constraint solving
- constrained problems
- np hard
- product configuration
- constraint propagation
- robust fault detection
- constraint problems
- constraint optimization