Computing a Complete Basis for Equalities Implied by a System of LRA Constraints.

Martin Bromberger, Christoph Weidenbach

Browse the full CADE paper archive.