Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction.
Manuel BodirskyPeter JonssonTimo von OertzenPublished in: J. Log. Comput. (2012)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- np hard
- constraint propagation
- relaxation labeling
- phase transition
- combinatorial problems
- constraint relaxation
- probabilistic reasoning
- russian doll search
- constraint solving
- horn clauses
- constraint programming
- arc consistency
- soft constraints
- product configuration
- worst case
- space complexity
- first order logic
- horn theories
- max sat
- evolutionary algorithm