Unifying and extending hybrid tractable classes of CSPs.

Published in: J. Exp. Theor. Artif. Intell. (2013)

Keyphrases

constraint satisfaction problems
tractable classes
path consistency
constraint satisfaction
arc consistency
constraint programming
constraint propagation
np complete
reasoning problems
constraint networks
search space
non binary
np hard
temporal constraints
structural properties
tree decomposition
expert systems