Login / Signup

Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL.

Filip Maric
Published in: Theor. Comput. Sci. (2010)
Keyphrases