Sciweavers

21 search results - page 5 / 5
» Click'n Prove: Interactive Proofs within Set Theory
Sort
View
ATAL
2006
Springer
13 years 10 months ago
Multiply-constrained distributed constraint optimization
Distributed constraint optimization (DCOP) has emerged as a useful technique for multiagent coordination. While previous DCOP work focuses on optimizing a single team objective, i...
Emma Bowring, Milind Tambe, Makoto Yokoo