布尔SAT解算器的认证答案（具有Coq和OCaml类型检查器组合的证明）Certifying Answers of Boolean SAT-Solvers (with a proof combining Coq and OCaml typecheckers) (2019-04-08, Coq, 31162KB, 下载0次)