Witzig, Jakob; Berthold, Timo; Heinz, Stefan Computational aspects of infeasibility analysis in mixed integer programming. (English) Zbl 1483.90088 Math. Program. Comput. 13, No. 4, 753-785 (2021). MSC: 90C11 90C10 PDFBibTeX XMLCite \textit{J. Witzig} et al., Math. Program. Comput. 13, No. 4, 753--785 (2021; Zbl 1483.90088) Full Text: DOI
Gamrath, Gerald; Berthold, Timo; Heinz, Stefan; Winkler, Michael Structure-driven fix-and-propagate heuristics for mixed integer programming. (English) Zbl 1432.90091 Math. Program. Comput. 11, No. 4, 675-702 (2019). MSC: 90C11 90C10 90C59 PDFBibTeX XMLCite \textit{G. Gamrath} et al., Math. Program. Comput. 11, No. 4, 675--702 (2019; Zbl 1432.90091) Full Text: DOI
Shinano, Yuji; Berthold, Timo; Heinz, Stefan ParaXpress: an experimental extension of the FICO Xpress-Optimizer to solve hard MIPs on supercomputers. (English) Zbl 1397.90285 Optim. Methods Softw. 33, No. 3, 530-539 (2018). MSC: 90C11 68M14 65K05 PDFBibTeX XMLCite \textit{Y. Shinano} et al., Optim. Methods Softw. 33, No. 3, 530--539 (2018; Zbl 1397.90285) Full Text: DOI
Witzig, Jakob; Berthold, Timo; Heinz, Stefan Experiments with conflict analysis in mixed integer programming. (English) Zbl 1489.68261 Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10335, 211-220 (2017). MSC: 68T20 90C11 PDFBibTeX XMLCite \textit{J. Witzig} et al., Lect. Notes Comput. Sci. 10335, 211--220 (2017; Zbl 1489.68261) Full Text: DOI arXiv
Shinano, Yuji; Berthold, Timo; Heinz, Stefan A first implementation of ParaXpress: combining internal and external parallelization to solve MIPs on supercomputers. (English) Zbl 1434.90006 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 308-316 (2016). MSC: 90-04 65K05 65Y05 90C11 PDFBibTeX XMLCite \textit{Y. Shinano} et al., Lect. Notes Comput. Sci. 9725, 308--316 (2016; Zbl 1434.90006) Full Text: DOI
Berthold, Timo; Farmer, James; Heinz, Stefan; Perregaard, Michael Parallelization of the FICO Xpress-Optimizer. (English) Zbl 1434.90003 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 251-258 (2016). MSC: 90-04 68W10 90C11 PDFBibTeX XMLCite \textit{T. Berthold} et al., Lect. Notes Comput. Sci. 9725, 251--258 (2016; Zbl 1434.90003) Full Text: DOI
Heinz, Stefan; Schulz, Jens; Beck, J. Christopher Using dual presolving reductions to reformulate cumulative constraints. (English) Zbl 1309.90066 Constraints 18, No. 2, 166-201 (2013). MSC: 90C11 PDFBibTeX XMLCite \textit{S. Heinz} et al., Constraints 18, No. 2, 166--201 (2013; Zbl 1309.90066) Full Text: DOI