Exact mixed-integer programming - Jarck, Kati (2020)