1. Train scheduling with hybrid answer set programming;Abels;Theory Pract. Log. Program.,2021
2. MaxSAT evaluation 2018: New developments and detailed results;Bacchus;J. Satisf. Boolean Model. Comput.,2019
3. An integrated micro–macro approach to robust railway timetabling;Bešinović;Transp. Res. B,2016
4. A real-time conflict solution algorithm for the train rescheduling problem;Bettinelli;Transp. Res. B,2017
5. Successful SAT encoding techniques;Björk;J. Satisf. Boolean Model. Comput.,2011