An Efficient Subsumption Test Pipeline for BS(LRA) Clauses.

Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach

Browse the full CADE paper archive.