李楚敏;肖,范;罗,毛;很多,费利普;吕志鹏;李、余 CDCL SAT解算器中通过单位传播实现子句生动化。 (英语) Zbl 1478.68325号 Artif公司。智力。 279,文章ID 103197,23 p.(2020).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Li}等人,人工制品。智力。279,文章ID 103197,23 p.(2020;Zbl 1478.68325) 全文: 内政部 arXiv公司
唐世辉;徐,杨 命题逻辑中子句集的冗余。 (英语) Zbl 1371.68263号 J.模糊数学。 22,第2期,493-502(2014).MSC公司:68T27型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Tang}和\textit{Y.Xu},J.模糊数学。22,第2号,493--502(2014;Zbl 1371.68263)