Polynomial Constraint Satisfaction: A Framework for Counting and Sampling CSPs and Other Problems
Alexander D. ScottGregory B. SorkinPublished in: CoRR (2006)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- russian doll search
- partial constraint satisfaction
- constraint problems
- combinatorial problems
- constrained problems
- constraint propagation
- soft constraints
- heuristic search
- configuration problems
- arc consistency
- constraint programming
- np complete
- constraint solving
- solving constraint satisfaction problems
- product configuration
- phase transition
- distributed constraint satisfaction
- constraint relaxation
- sat solvers
- max csp
- hard constraints
- non binary
- mathematical programming
- forward checking
- randomly generated
- constraint optimization
- backtracking search