A proof system for certifying symmetry and optimality reasoning in integer programming

MaRDI QIDQ6458365zbMATH OpenFDO

Authors Jasper van Doornmalen, Leon Eifler, Ambros M. Gleixner, Christopher Hojny

Publication date 7 November 2023

Mathematics Subject Classification ID

Combinatorics (05-XX) Operations research, mathematical programming (90-XX)

This page was built for publication: A proof system for certifying symmetry and optimality reasoning in integer programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6458365)