Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems.

Jian Gao Minghao Yin Junping Zhou

Published in: AAAI (2011)

Keyphrases

tractable classes
constraint satisfaction problems
non binary
path consistency
reasoning problems
bounded treewidth