Formal Verification of a Modern SAT Solver by shallow embedding into Isabelle/HOL (0)

by F Marić
Venue:Theoretical Computer Science