Fast and Verified UNSAT Certificate Checking.

Peter Lammich

Browse the full IJCAR paper archive.