Channel-based coordination via constraint satisfaction.
Dave ClarkeJosé ProençaAlexander LazovikFarhad ArbabPublished in: Sci. Comput. Program. (2011)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- constraint programming
- constraint propagation
- relaxation labeling
- phase transition
- combinatorial problems
- multi agent
- constraint relaxation
- probabilistic reasoning
- arc consistency
- multi agent systems
- sat solvers
- constraint optimization
- neural network
- constraint solving
- product configuration
- robust fault detection
- russian doll search
- constraint networks
- special case
- constraint solver