@misc{UrbaniakWeismantelZiegler1994, author = {Urbaniak, Regina and Weismantel, Robert and Ziegler, G{\"u}nter M.}, title = {A New Variant of Buchberger's Algorithm for Integer Programming}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-1570}, number = {SC-94-29}, year = {1994}, abstract = {In this paper we modify Buchberger's \$S\$-pair reduction algorithm for computing a Gr{\"o}bner basis of a toric ideal so as to apply to an integer program in inequality form with fixed right hand sides and fixed upper bounds on the variables. We formulate the algorithm in the original space and interpret the reduction steps geometrically. In fact, three variants of this algorithm are presented and we give elementary proofs for their correctness. A relationship between these (exact) algorithms, iterative improvement heuristics and the Kernighan-Lin procedure is established.}, language = {en} }