A Microstructure-Based Family of Tractable Classes for CSPs.
Martin C. CooperPhilippe JégouCyril TerriouxPublished in: CP (2015)
Keyphrases
- constraint satisfaction problems
- tractable classes
- constraint satisfaction
- path consistency
- constraint propagation
- arc consistency
- np complete
- constraint programming
- search space
- constraint networks
- reasoning problems
- non binary
- np hard
- special case
- structural properties
- decomposition methods
- tree decomposition
- bounded treewidth
- satisfiability problem
- logic programming
- objective function