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