Linear Integer Arithmetic Revisited.

Martin Bromberger, Thomas Sturm, Christoph Weidenbach

Browse the full CADE paper archive.