21 search results - page 5 / 5 » Click'n Prove: Interactive Proofs within Set Theory |
ATAL
2006
Springer
13 years 10 months ago
2006
Springer
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...