×

Found 7 Documents (Results 1–7)

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software