Global Constraints in Distributed CSP: Concurrent GAC and Explanations in ABT.
Mohamed WahbiKenneth N. BrownPublished in: CP (2014)
Keyphrases
- global constraints
- arc consistency
- constraint satisfaction problems
- generalized arc consistency
- constraint programming
- constraint satisfaction
- weighted constraint satisfaction
- distributed constraint satisfaction problems
- constraint propagation
- boolean constraints
- combinatorial problems
- space complexity
- non binary
- symmetry breaking
- integer linear programming
- np hard
- boltzmann machine
- np complete
- integer programming
- constraint networks
- concurrent processes
- search space