Vol-1616⫷ Vol-1617 ⫸Vol-1618
urn:nbn:de:0074-1617-0


Vol-1617/paper1⫷Vol-1617/paper2⫸Vol-1617/paper3
Martin BrombergerChristoph Weidenbach

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