李楚敏;徐振兴;乔迪·科尔;很多，费利普;贾马尔·哈贝特;何坤 通过子句学习提升分支和绑定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） 全文： 内政部
李楚敏;很多，费利普;穆罕默德·乌尔德;乔迪，飞机 MaxSAT中基于分辨率的下限。 （英语） Zbl 1208.68204号 约束条件 15，第4期，456-484（2010）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Li}等人，《限制条件》15，第4期，456--484（2010；Zbl 1208.68204） 全文： 内政部
李楚敏;很多，费利普;穆罕默德·努尔丁;乔迪，飞机 开发Max-SAT中的循环结构。 （英语） 兹比尔1247.68256 Kullmann，Oliver（编辑），可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日，在英国斯旺西举行的2009年SAT第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02776-5/pbk）。计算机科学课堂讲稿5584，467-480（2009）。MSC公司：68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Li}等人，Lect。注释计算。科学。5584、467--480（2009年；Zbl 1247.68256） 全文： 内政部
约塞普·阿格利奇;李楚敏;很多，费利普;乔迪，飞机 第一次和第二次Max-SAT评估。 （英语） Zbl 1159.68561号 J.满意。布尔模型。计算。 4，编号2-4，251-278（2008）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Argelich}等人，J.Satisf。布尔模型。计算。4，编号：2-4251-278（2008；兹bl 1159.68561）