Efficient Certified RAT Verification.

Lus Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp

Browse the full CADE paper archive.