乔迪·科尔;李楚敏;很多,费利普;埃利夫娜斯·扬金 正则命题逻辑的MaxSAT解析。 (英语) Zbl 07766524号 国际J近似推理 162,文章ID 109010,11 p.(2023).MSC公司:68兰特 03B50号 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Coll}等人,Int.J.近似推理162,文章ID 109010,11页(2023;Zbl 07766524) 全文: 内政部
李楚敏(编辑);很多,费利普(编辑) 满意度测试的理论和应用——SAT 2021。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。 (英语) Zbl 1482.68030号 计算机科学课堂讲稿12831.商会:施普林格出版社(ISBN 978-3-030-80222-6/pbk;978-3-030-80223-3/ebook)。xi,第564页。(2021).MSC公司:68-06 第68季度25 68兰特 68T20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Li}(编辑)和textit{F.Manyá}(主编),可满足性测试的理论和应用--SAT 2021。第24届国际会议,西班牙巴塞罗那,2021年7月5-9日。诉讼程序。查姆:施普林格(2021;Zbl 1482.68030) 全文: 内政部
李楚敏;肖,范;罗,毛;很多,费利普;吕志鹏;李、余 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 1435.68372号 Cerrito,Serenella(编辑)等人,《使用分析表和相关方法的自动推理》。第28届国际会议,2019年9月3日至5日,英国伦敦,TABLEAUX 2019。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11714, 58-73 (2019).MSC公司:68伏15 03B05号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Li}等人,Lect。注释计算。科学。11714、58-73(2019年;Zbl 1435.68372) 全文: 内政部 链接
卡洛斯·安索特吉;玛丽亚·路易莎·博内;约尔迪·利维;很多,费利普 多值优化的解析程序。 (英语) 兹比尔1293.03010 信息科学。 227, 43-59 (2013).MSC公司:03B35型 03B50号 68T20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,《信息科学》。227、43-59(2013年;Zbl 1293.03010) 全文: 内政部
李楚敏;朱,朱;很多,费利普;洛朗·西蒙 以最小满意度进行优化。 (英语) Zbl 1251.68209号 Artif公司。智力。 190, 32-44 (2012).MSC公司:68T20型 90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Li}等人,Artif。智力。190、32-44(2012年;Zbl 1251.68209) 全文: 内政部
玛丽亚·路易莎·博内;约尔迪·利维;很多,费利普 Max-SAT分辨率。 (英语) Zbl 1168.68541号 Artif公司。智力。 171,编号8-9,606-618(2007).MSC公司:68吨15 第68季度25 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Bonet}等人,Artif。智力。171,编号8--9,606--618(2007;Zbl 1168.68541) 全文: 内政部
卡洛斯·安索特吉;何塞·拉鲁比亚;李楚敏;很多,费利普 在SAT求解器的变量选择启发式中利用多值知识。 (英语) 兹比尔1124.68102 安。数学。Artif公司。智力。 49,编号1-4191-205(2007).MSC公司:68T20型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,《数学年鉴》。Artif公司。智力。49,编号1--4,191-205(2007;Zbl 1124.68102) 全文: 内政部
拉蒙·贝加尔;很多,费利普;阿尔巴州卡比斯科;塞萨尔·费尔南德斯;卡拉·戈麦斯 正则SAT:解决组合问题的多值方法。 (英语) Zbl 1121.68104号 离散应用程序。数学。 155,第12期,1613-1626(2007).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Béjar}等人,《离散应用》。数学。155,第12号,1613-1626(2007;Zbl 1121.68104) 全文: 内政部
很多,费利普 有符号CNF公式中的2-SAT问题。 (英语) Zbl 0992.03014号 多重-有价值的日志。 5,第4号,307-325(2000).MSC公司:03年2月25日 03B50号 第68季度25 2015年3月1日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Manyá},多特-有价值的日志。5,第4号,307--325(2000;Zbl 0992.03014)
伯恩哈德·贝克特;雷纳·哈内尔;很多,费利普 有符号CNF公式的SAT问题。 (英语) Zbl 0966.03033号 Basin,David(编辑)等人,标签扣除。基于1998年9月德国弗莱堡LD'98第一次国际研讨会。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。第17页,第59-80页(2000年)。MSC公司:03B70号 68立方英尺 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{B.Beckert}等人,应用。日志。序列号。17、59-80(2000;Zbl 0966.03033)