Graph Generation to Statically Represent CSP Processes.
Marisa LlorensJavier OliverJosep SilvaSalvador TamaritPublished in: LOPSTR (2010)
Keyphrases
- constraint satisfaction problems
- tree decomposition
- generation process
- process model
- constraint satisfaction
- graph representation
- graph model
- weighted graph
- provide a compact representation
- graph based algorithm
- graph structure
- graph theory
- link analysis
- graph matching
- arc consistency
- connected components
- structured data
- constraint solving
- random walk
- bounded treewidth
- state space
- constraint graph
- np hard