Kong, S.; Lee, J. H.; Li, S. Multiagent Simple Temporal Problem: The Arc-Consistency Approach. AAAI 2018, 32.