Constraint satisfaction problems in clausal form: Autarkies, minimal unsatisfiability, and applications to hypergraph inequalities.
Oliver KullmannPublished in: Complexity of Constraints (2006)
Keyphrases
- constraint satisfaction problems
- constraint propagation
- constraint satisfaction
- constraint programming
- np complete
- np hard
- non binary
- arc consistency
- combinatorial problems
- soft constraints
- search space
- constraint problems
- constraint solving
- computational problems
- pseudo boolean optimization
- constraint networks
- decomposition methods
- forward checking
- solving constraint satisfaction problems
- sat problem
- max sat
- global constraints
- conjunctive queries
- phase transition
- reasoning problems
- constraint solver
- backtracking search
- partial constraint satisfaction
- temporal constraints