Solving scheduling problems using parallel message-passing based constraint programmingFeng XieAndrew Davenport2009COPLAS 2009