A geometric Buchberger algorithm for integer programmingTruncated gr??bner bases for integer programming
