Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency.
Oliver KullmannPublished in: Fundam. Informaticae (2011)
Keyphrases
- constraint satisfaction problems
- constraint propagation
- constraint satisfaction
- constraint programming
- combinatorial problems
- np complete
- search space
- constraint solving
- special case
- constraint problems
- constraint networks
- global constraints
- arc consistency
- non binary
- constraint optimization
- forward checking
- np hard
- pseudo boolean optimization
- decomposable negation normal form
- reasoning problems
- computational problems
- temporal constraints
- logic programming
- decision procedures
- constraint graph
- tree search
- finding optimal solutions
- inductive logic programming