@misc{indiciae03fb7947af77,
  title = {Computing certificates for integer programs.},
  author = {Parekh, Ojas D and Carr, Robert D and Phillips, Cynthia A and Greenberg, Harvey J},
  year = {2012},
  url = {https://www.osti.gov/biblio/1073464},
  note = {Source identifier: 1073464}
}