Conference paper
Global routing revisited
Michael D. Moffitt
ICCAD 2009
In this paper, we prove that the Chvätal-Gomory closure of a set obtained as an intersection of a strictly convex body and a rational polyhedron is a polyhedron. Thus, we generalize a result of Schrijver [Schrijver, A. 1980. On cutting planes. Ann. Discrete Math. 9 291-296], which shows that the Chvätal-Gomory closure of a rational polyhedron is a polyhedron. © 2011 INFORMS.
Michael D. Moffitt
ICCAD 2009
B.K. Boguraev, Mary S. Neff
HICSS 2000
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006
Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization