Layered Clause Selection for Theory Reasoning - (Short Paper).

Bernhard Gleiss, Martin Suda

Browse the full CADE paper archive.