Relaxations of semiring constraint satisfaction problems.
Louise LeenenThomas Andreas MeyerAditya GhosePublished in: Inf. Process. Lett. (2007)
Keyphrases
- constraint satisfaction problems
- constraint problems
- soft constraints
- np hard
- constraint satisfaction
- constraint propagation
- decision diagrams
- constraint programming
- lower bound
- np complete
- search space
- combinatorial problems
- linear programming
- constraint solving
- arc consistency
- non binary
- constraint optimization
- relational algebra
- max sat
- solving constraint satisfaction problems
- scheduling problem
- computational complexity
- finite domain
- partial constraint satisfaction
- truth values
- decomposition methods
- forward checking
- backtracking algorithm
- computational problems
- constraint networks
- optimal solution
- pseudo boolean optimization