1. Achterberg, T.: SCIP: solving constraint integer programs. Math. Program. Comput. 1(1), 1–41 (2009).
https://doi.org/10.1007/s12532-008-0001-1
2. Vielma, J.P.: Mixed integer linear programming formulation techniques. SIAM Rev. 57(1), 3–57 (2015)
3. Lecture Notes in Computer Science;M Bofill,2019
4. Beldiceanu, N., Contejean, E.: Introducing global constraints in CHIP. Math. Comput. Model. 20, 97–123 (1996)
5. Bessiere, C., Hebrard, E., Hnich, B., Kiziltan, Z., Walsh, T.: SLIDE: a useful special case of the CARDPATH constraint. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N.M. (eds.) ECAI 2008–Proceedings of the 18th European Conference on Artificial Intelligence, Patras, Greece, 21–25 July 2008, Volume 178 of Frontiers in Artificial Intelligence and Applications, pp. 475–479. IOS Press (2008)