Studies in constraint-based search for multi-robot planning