Cluster Graphs as Abstractions for Constraint Satisfaction Problems.
Susan L. EpsteinXingjian LiPublished in: SARA (2009)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint graph
- graph based representations
- np complete
- constraint propagation
- constraint programming
- graph theory
- combinatorial problems
- search space
- np hard
- computational problems
- constraint solving
- global constraints
- constraint problems
- constraint networks
- constraint optimization
- non binary
- sat problem
- graph matching
- weighted graph
- forward checking
- backtracking search
- temporal constraints
- decomposition methods
- finite domain
- graph coloring
- soft constraints
- graph partitioning
- arc consistency
- solving constraint satisfaction problems
- graph model