TY  - RPRT
TI  - Towards Certficates for Integer Programming Computations.
AU  - Carr, Robert D.
AU  - Phillips, Cynthia Ann
AU  - Parekh, Ojas D
AU  - Greenberg, Harvey
PY  - 2011
UR  - https://www.osti.gov/biblio/1106366
ID  - 1106366
ER  -