Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking.

Ashish Darbari, Bernd Fischer, Joo Marques-Silva

Browse the full ICTAC paper archive.