M. Buljuba?i´buljuba?i´c, H. Gavranovi´cgavranovi´c, S. Hanafi, and M. Vasquez, Team s18, Challenge ROADEF/EURO 2014. IFORS, 2014.

A. Stephen and . Cook, The complexity of theorem-proving procedures, Proceedings of the third annual ACM symposium on Theory of computing, pp.151-158, 1971.

L. Létocart, M. Casazza, and A. Rozenknop, Emiliano Traversi, and Roberto Wolfler- Calvo. Team s20, Challenge ROADEF, 2014.

H. Geiger-martin-josef and . Sandra, Marius Leschik, Christian Lindorf, and Ulrich Tshaus. Team s1, Challenge ROADEF, 2014.

F. Ramond and N. Marcos, Roadef/euro 2014 challenge, trains don't vanish ! final phase, rolling stock unit management on railway sites, Challenge ROADEF/EURO 2014. SNCF -Innovation & Research Department, 2014.

J. Haahr and H. Bull, Team j10, Challenge ROADEF/EURO 2014. IFORS, 2014.