Towards Certficates for Integer Programming Computations.

Carr, Robert D.; Phillips, Cynthia Ann; Parekh, Ojas D; Greenberg, Harvey

DOE OSTI · 1106366

Towards Certficates for Integer Programming Computations.

Carr, Robert D.·Phillips, Cynthia Ann·Parekh, Ojas D·Greenberg, Harvey

View original source ↗Read source document ↗Export metadata ↓

Abstract

Abstract not provided.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Carr, Robert D., Phillips, Cynthia Ann, Parekh, Ojas D, Greenberg, Harvey. 2011-08-01. Towards Certficates for Integer Programming Computations.. https://www.osti.gov/biblio/1106366

Cite the original work for its findings. Save a collection to share your selection of sources.