A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture

Artikel › Journalartikel › 2022

Zitation

Eifler, Leon; Gleixner, Ambros; Pulaj, Jonad: A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture. In: ACM Transactions on Mathematical Software 48, 2. (2022), S. 1-12.

ISSN

0098-3500

DOI / URN

10.1145/3485630

Link

https://doi.org/10.1145/3485630

Sprache

Englisch

Zitieren

BibTeX / RIS