Jean-Pierre Jouannaud, Pierre-yves Strub, Lianyi Zhang. Certification of SAT Solvers in Coq.
Guangzhou Symposium on Satisfiability in Logic-Based Modeling, Yuping Shen, Institute of Logic and Cognition Sun Yat-sen University, Guangzhou., Sep 2010, Zuhai, China.
⟨inria-00516906⟩