Publications

Publications / Conference

Towards Certficates for Integer Programming Computations

Carr, Robert D.; Phillips, Cynthia A.; Parekh, Ojas D.

Abstract not provided.