ParaCook: on Time-Efficient Planning for Multi-Agent Systems | AMiner