Willem Jan van Hoeve Carla P. Gomes Bart Selman Michele Lombardi Optimal Multi-Agent Scheduling with Constraint Programming. 1813-1818 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#HoeveGSL07