Result: Verifying integer programming results

Title:
Verifying integer programming results / Kevin K. H. Cheung, Ambros Gleixner, and Daniel E. Steffy ; Zuse Institute Berlin
Published:
Berlin : Zuse Institute Berlin, 2016
Distribution:
Hannover : Technische Informationsbibliothek (TIB)
Description:
1 Online-Ressource (13 Seiten, 341 kB)
Format:
E-Book
Language:
English
Series/ Mutipart item:
ZIB-Report ; 2016, 58
Notes:
Literaturverzeichnis: Seite 9-11
Subjects:

Additional information