Achterberg, Tobias; Bixby, Robert E.; Gu, Zonghao; Rothberg, Edward; Weninger, Dieter Presolve reductions in mixed integer programming. (English) Zbl 07290858 INFORMS J. Comput. 32, No. 2, 473-506 (2020). MSC: 90C11 PDFBibTeX XMLCite \textit{T. Achterberg} et al., INFORMS J. Comput. 32, No. 2, 473--506 (2020; Zbl 07290858) Full Text: DOI
Achterberg, Tobias SCIP: solving constraint integer programs. (English) Zbl 1171.90476 Math. Program. Comput. 1, No. 1, 1-41 (2009). MSC: 90C11 68T20 90C27 90-04 90-08 PDFBibTeX XMLCite \textit{T. Achterberg}, Math. Program. Comput. 1, No. 1, 1--41 (2009; Zbl 1171.90476) Full Text: DOI
Achterberg, Tobias; Heinz, Stefan; Koch, Thorsten Counting solutions of integer programs using unrestricted subtree detection. (English) Zbl 1142.90453 Perron, Laurent (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 5th international conference, CPAIOR 2008 Paris, France, May 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68154-0/pbk). Lecture Notes in Computer Science 5015, 278-282 (2008). MSC: 90C10 90C57 PDFBibTeX XMLCite \textit{T. Achterberg} et al., Lect. Notes Comput. Sci. 5015, 278--282 (2008; Zbl 1142.90453) Full Text: DOI
Achterberg, Tobias; Berthold, Timo; Koch, Thorsten; Wolter, Kati Constraint integer programming: A new approach to integrate CP and MIP. (English) Zbl 1142.68504 Perron, Laurent (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 5th international conference, CPAIOR 2008 Paris, France, May 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68154-0/pbk). Lecture Notes in Computer Science 5015, 6-20 (2008). MSC: 68T20 90C27 90C11 PDFBibTeX XMLCite \textit{T. Achterberg} et al., Lect. Notes Comput. Sci. 5015, 6--20 (2008; Zbl 1142.68504) Full Text: DOI