*Result*: A safe computational framework for integer programming applied to Chvátal’s conjecture
*Title*:
A safe computational framework for integer programming applied to Chvátal’s conjecture / Zuse Institute Berlin ; Leon Eifler, Ambros Gleixner, Jonad Pulaj
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Berlin : Zuse Institute Berlin, 2021
*Distribution*:
Hannover : Technische Informationsbibliothek (TIB)
*Physical description scale*:
1 Online-Ressource (18 Seiten, 163,64 KB) : Diagramme
*Format*:
*Language*:
*eng*
*series_multipart*:
ZIB Report ; 2021, 35 (October 2021)
*Notes*:
Literaturverzeichnis: Seite 13-16
*Subject Added Keywords*: