Interleaving solving and elicitation of constraint satisfaction problems based on expected cost.
Nic WilsonDiarmuid GrimesEugene C. FreuderPublished in: Constraints An Int. J. (2010)
Keyphrases
- constraint satisfaction problems
- expected cost
- constraint problems
- constraint satisfaction
- partial constraint satisfaction
- finite domain
- dynamic constraint satisfaction problems
- constraint optimization
- long run
- cost function
- backtracking algorithm
- disjunctive temporal
- constraint propagation
- finding optimal solutions
- constraint programming
- solving constraint satisfaction problems
- constraint solvers
- graph coloring problems
- combinatorial problems
- np complete
- configuration problems
- optimal strategy
- arc consistency
- np hard
- constraint networks
- non binary
- search space
- soft constraints
- set bounds propagation
- forward checking
- combinatorial optimization
- constraint solving
- search algorithm
- sat encodings
- constraint solver
- pseudo boolean optimization
- constraint graph
- variable ordering