TY  - RPRT
TI  - Computing certificates for integer programs.
AU  - Parekh, Ojas D
AU  - Carr, Robert D
AU  - Phillips, Cynthia A
AU  - Greenberg, Harvey J
PY  - 2012
UR  - https://www.osti.gov/biblio/1073464
ID  - 1073464
ER  -