Verifying Integer Programming Results
Published in Lecture Notes in Computer Science • Jan 1, 2017
NobleIDNI3P65W15R62S93
Authors:,,
Kevin K. H. Cheung
Ambros Gleixner
Daniel E. Steffy
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!