Treffer: Verifying Integer Programming Results

Title:
Verifying Integer Programming Results
Integer programming and combinatorial optimization (International conference)
Authors:
Cheung, Kevin K. H., Gleixner, Ambros, Steffy, Daniel E.
Source:
Lecture notes in computer science. 10328:148-160
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN602447477&indx=1&recIds=ETOCCN602447477
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings