李楚敏;徐振兴;乔迪·科尔;很多,费利普;贾马尔·哈贝特;何坤 通过子句学习促进分支和绑定MaxSAT解算器。 (英语) Zbl 1507.68296号 AI通讯。 35,第2期,131-151(2022).MSC公司:68T20型 68T05型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Li}等人,AI Commun。35,编号2,131--151(2022;Zbl 1507.68296) 全文: 内政部
李楚敏;肖,范;罗,毛;很多,费利普;吕志鹏;李、余 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 p.(2020;Zbl 1478.68325) 全文: 内政部 arXiv公司
何塞普·阿盖利希;李楚敏;很多,费利普;乔迪,飞机 第一次和第二次Max-SAT评估。 (英语) 兹比尔1159.68561 J.满意。布尔模型。计算。 4,编号2-4,251-278(2008).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Argelich}等人,J.Satisf。布尔模型。计算。4,编号2--4,251--278(2008;Zbl 1159.68561)
卡洛斯·安索特吉;何塞·拉鲁比亚;李楚敏;很多,费利普 在SAT求解器的变量选择启发式中利用多值知识。 (英语) Zbl 1124.68102号 安。数学。Artif公司。智力。 49,编号1-4191-205(2007).MSC公司:68T20型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,《数学年鉴》。Artif公司。智力。49,编号1-4191-205(2007年;Zbl 1124.68102) 全文: 内政部
伯纳德·尤尔科维亚克;李楚敏;吉尔·乌塔德 一类SAT求解器的基于工作窃取的并行化方案。 (英语) Zbl 1086.68118号 J.汽车。推理 34,第1期,73-101(2005).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \文本{B.Jurkowiak}等人,J.Autom。推理34,No.1,73--101(2005;Zbl 1086.68118) 全文: 内政部
李楚敏 DLL过程中的等效文字传播。 (英语) Zbl 1029.68080号 离散应用程序。数学。 130,第2期,251-276(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Li},离散应用程序。数学。130,编号2251-276(2003年;Zbl 1029.68080) 全文: 内政部