Publications

A Complete and Terminating Approach to Linear Integer Solving, Martin Bromberger, Thomas Sturm, and Christoph Weidenbach. Accepted for publication in the SC-Square Special Issue of the Journal of Symbolic Computation (JSC)