Martin Bromberger, Christoph Weidenbach. Computing a Complete Basis for Equalities Implied by a System of LRA Constraints. In Tim King, Ruzica Piskac, editors, Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016. Volume 1617 of CEUR Workshop Proceedings, pages 15-30, CEUR-WS.org, 2016. [doi]
Abstract is missing.