Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure.
Oliver KullmannPublished in: Fundam. Informaticae (2011)
Keyphrases
- constraint satisfaction problems
- constraint propagation
- constraint satisfaction
- constraint programming
- constraint graph
- search space
- np complete
- non binary
- constraint solving
- backtracking search
- soft constraints
- combinatorial problems
- sat problem
- computational problems
- decomposition methods
- theorem proving
- arc consistency
- np hard
- path consistency
- pseudo boolean optimization
- constraint networks
- structural properties
- phase transition
- special case