戴维·莫尼奥 可满足性模理论综述。 (英语) Zbl 1453.68116号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。9890, 401-425 (2016).MSC公司:68兰特 03B70号 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux},莱克特。注释计算。科学。9890401-425(2016;Zbl 1453.68116) 全文: 内政部 arXiv公司
托马斯·布雷班特;雅克·亨利·乔尔丹;戴维·莫尼奥 在Coq中实现和推理哈希加密数据结构。 (英语) Zbl 1314.68273号 J.汽车。推理 53,第3期,271-304(2014).MSC公司:68吨15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Braibant}等人,J.Autom。推理53,No.3,271--304(2014;Zbl 1314.68273) 全文: 内政部 arXiv公司 哈尔