Optimization, Randomized Approximability, and Boolean Constraint Satisfaction Problems
Tomoyuki YamakamiPublished in: CoRR (2011)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- weighted constraint satisfaction
- constraint programming
- constraint propagation
- non binary
- np complete
- arc consistency
- search space
- constraint solving
- combinatorial problems
- solving constraint satisfaction problems
- decomposition methods
- constraint networks
- soft constraints
- np hard
- forward checking
- optimization problems
- finite domain
- pseudo boolean optimization
- path consistency
- boolean functions
- special case
- global constraints
- approximation algorithms
- finding optimal solutions
- partial constraint satisfaction
- set bounds propagation
- evolutionary algorithm