Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers.

Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig

Browse the full ISoLA paper archive.