Mallob: Scalable Automated Reasoning on Demand.

Dominik Schreiber, Niccol Rigi-Luperti, Peter Sanders

Browse the full CAV paper archive.