Certifying MIP-based Presolve Reductions for 0--1 Integer Linear Programs

Konferenzbeitrag › Konferenzpaper › 2024

Zitation

Hoen, Alexander; Oertel, Andy; Gleixner, Ambros; Nordström, Jakob: Certifying MIP-based Presolve Reductions for 0--1 Integer Linear Programs. In: Integration of AI and OR Techniques in Constraint Programming, CPAIOR 2024. Hg. von Dilkina, Bistra. Cham: Springer 2024( LNCS 14742), S. 310–328.

ISBN

978-3-031-60596-3, Online ISBN 978-3-031-60597-0

DOI / URN

10.1007/978-3-031-60597-0_20

Link

https://doi.org/10.1007/978-3-031-60597-0_20

Sprache

Englisch

Zitieren

BibTeX / RIS