1. Abril, M., Barber, F., Ingolotti, L., Salido, M., Tormos, P., Lova, A.: An assessment of railway capacity. Transp. Res. Part E: Logistics Transp. Rev. 44(5), 774–806 (2008).
https://doi.org/10.1016/j.tre.2007.04.001
2. Lecture Notes in Computer Science;D Basile,2018
3. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Adv. Comput. 58(11), 117–148 (2003).
https://doi.org/10.1016/S0065-2458(03)58003-2
4. Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press (2009)
5. Björk, M.: Successful SAT encoding techniques. J. Sat. Boolean Model. Comput. 7(4), 189–201 (2011).
https://satassociation.org/jsat/index.php/jsat/article/view/153/118