Improved Algorithms for Counting Solutions in Constraint Satisfaction Problems.
Ola AngelsmarkPeter JonssonPublished in: CP (2003)
Keyphrases
- constraint satisfaction problems
- combinatorial problems
- constraint programming
- computational problems
- non binary
- pseudo boolean optimization
- solving constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- finding optimal solutions
- constraint optimization
- backtracking search
- benchmark problems
- constraint networks
- optimization problems
- decomposition methods
- computational complexity
- constraint graph
- forward checking
- tractable subclasses
- graph coloring problems
- arc consistency algorithm
- constraint solving
- exact algorithms
- backtrack search
- constraint solver
- search space
- evolutionary algorithm
- search algorithm