@misc{indiciae9250b97eb500,
  title = {Towards Certficates for Integer Programming Computations.},
  author = {Carr, Robert D. and Phillips, Cynthia Ann and Parekh, Ojas D and Greenberg, Harvey},
  year = {2011},
  url = {https://www.osti.gov/biblio/1106366},
  note = {Source identifier: 1106366}
}