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

Ashish Darbari, Bernd Fischer, João Marques-Silva (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics