TY - GEN A1 - Urbaniak, Regina A1 - Weismantel, Robert A1 - Ziegler, Günter M. T1 - A New Variant of Buchberger's Algorithm for Integer Programming N2 - In this paper we modify Buchberger's $S$-pair reduction algorithm for computing a Grö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. T3 - ZIB-Report - SC-94-29 Y1 - 1994 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-1570 ER -