1. Automated Scheduling, Optimisation and Planning, School of Computer Science, University of Nottingham, Nottingham NG8 1BB, United Kingdom
2. School of Electronic Engineering and Computer Science, Queen Mary University of London, London E1 4NS, United Kingdom