Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
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.
Pradip Bose
VTS 1998
Quinn Pham, Danila Seliayeu, et al.
CASCON 2024
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University