Solving Over-Constrained CSPs Using Weighted OBDDs.
Fabrice BouquetPhilippe JégouPublished in: Over-Constrained Systems (1995)
Keyphrases
- constrained problems
- constraint problems
- constraint satisfaction problems
- backtracking algorithm
- constraint satisfaction
- constraint propagation
- boolean functions
- partial constraint satisfaction
- decision diagrams
- constraint networks
- constraint programming
- search space
- hard constraints
- weighted sum
- ordered binary decision diagrams
- model checking
- np hard