Efficient Verified (UN)SAT Certificate Checking.

Peter Lammich

Browse the full CADE paper archive.