Decision Network Semantics of Branching Constraint Satisfaction Problems.
Kenneth N. BrownPeter J. F. LucasDavid W. FowlerPublished in: ECSQARU (2003)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- constraint programming
- non binary
- np complete
- combinatorial problems
- search space
- complex networks
- constraint solving
- arc consistency
- np hard
- finite domain
- decomposition methods
- pseudo boolean optimization
- solving constraint satisfaction problems
- constraint networks
- sat problem
- logic programming
- global constraints
- branch and bound
- symmetry breaking
- network structure
- backtracking algorithm
- partial constraint satisfaction
- search algorithm
- soft constraints
- computational problems
- propositional logic
- disjunctive constraints