This paper investigates how to represent and solve multiagent task scheduling as a Distributed Constraint Optimization Problem (DCOP). Recently multiagent researchers have adopted the C TÆMS language as a standard for multiagent task scheduling. We contribute an automated mapping that transforms C TÆMS into a DCOP. Further, we propose a set of representational compromises for C TÆMS that allow existing distributed algorithms for DCOP to be immediately brought to bear on C TÆMS problems. Next, we demonstrate a key advantage of a constraint based representation is the ability to leverage the representation to do efficient solving. We contribute a set of pre-processing algorithms that leverage existing constraint propagation techniques to do variable domain pruning on the DCOP. We show that these algorithms can result in 96% reduction in state space size for a given set of C TÆMS problems. Finally, we demonstrate up to a 60% increase in the ability to optimally solve C TÆMS proble...
Evan Sultanik, Pragnesh Jay Modi, William C. Regli