Team s18, Challenge ROADEF/EURO 2014. IFORS, 2014. ,
The complexity of theorem-proving procedures, Proceedings of the third annual ACM symposium on Theory of computing, pp.151-158, 1971. ,
Emiliano Traversi, and Roberto Wolfler- Calvo. Team s20, Challenge ROADEF, 2014. ,
Marius Leschik, Christian Lindorf, and Ulrich Tshaus. Team s1, Challenge ROADEF, 2014. ,
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. ,
Team j10, Challenge ROADEF/EURO 2014. IFORS, 2014. ,