赵东东;廖磊;罗文建;向建文;姜浩;胡晓毅 生成随机SAT实例:可以预先定义多个解决方案,并对其进行深度隐藏。 (英语) Zbl 1506.68130号 J.阿蒂夫。智力。研究(JAIR) 76, 435-470 (2023).MSC公司:68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Zhao}等人,J.Artif。智力。研究(JAIR)76,435--470(2023;Zbl 1506.68130) 全文: 内政部
亚历克西斯·德·科尔内;斯特凡·蒙格尔 用短正则分辨率反驳刻画谢廷公式。 (英语) 兹比尔1506.68062 J.阿蒂夫。智力。研究(JAIR) 76, 265-286 (2023).MSC公司:68兰特 20层03 68兰特 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.de Colnet}和\textit{S.Mengel},J.Artif。智力。研究(JAIR)76,265--286(2023;Zbl 1506.68062) 全文: 内政部
皮·马蒂厄;穆罕默德·萨米·谢里夫;贾马尔·哈贝特 Max-SAT的证明和证书。 (英语) Zbl 07639823号 J.阿蒂夫。智力。研究(JAIR) 75, 1373-1400 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{M.Py}等人,J.Artif。智力。(JAIR)第75号决议,第1373号决议——第1400号决议(2022年;Zbl 07639823) 全文: 内政部
罗伯托·阿辛·阿查;罗德里戈洛佩斯;塞巴斯蒂安·哈格多恩;Jorge A.Baier。 多代理路径查找:一种新的布尔编码。 (英语) Zbl 07603114号 J.阿蒂夫。智力。研究(JAIR) 75, 323-350 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{R.Asín Achá}等人,J.Artif。智力。研究(JAIR)75,323--350(2022;Zbl 07603114) 全文: 内政部
亚辛·伊扎;阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵 关于解决决策树中的解释冗余问题。 (英语) Zbl 07603113号 J.阿蒂夫。智力。研究(JAIR) 75, 261-321 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{Y.Izza}等人,J.Artif。智力。研究(JAIR)75,261--321(2022;Zbl 07603113) 全文: 内政部 arXiv公司
比什瓦米特拉·戈什;德米特里·马利奥托夫;Kuldeep S.梅尔。 有效学习可解释的分类规则。 (英语) Zbl 07596562号 J.阿蒂夫。智力。研究(JAIR) 74, 1823-1863 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghosh}等人,J.Artif。智力。研究(JAIR)74,1823-1863(2022;Zbl 07596562) 全文: 内政部 arXiv公司
罗伯特·加尼安;安德烈·希德勒;曼纽尔·索尔吉;斯泽德,斯特凡 阈值树宽度和超树宽度。 (英语) Zbl 07577520号 J.阿蒂夫。智力。研究(JAIR) 74, 1687-1713 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{R.Ganian}等人,J.Artif。智力。研究(JAIR)74,1687--1713(2022;Zbl 07577520) 全文: 内政部 arXiv公司
蔡少伟;张新迪;马蒂亚斯·弗勒里;阿明·比尔 通过局部搜索和目标阶段在CDCL中实现更好的决策启发。 (英语) Zbl 07577517号 J.阿蒂夫。智力。研究(JAIR) 74, 1515-1563 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{S.Cai}等人,J.Artif。智力。研究(JAIR)74,1515--1563(2022;Zbl 07577517) 全文: 内政部
米克尔波菲尔;乔迪·科尔;加西亚,马克;吉拉尔德斯·克鲁,杰苏斯;吉尔斯·佩森特;约塞普·苏伊;马图·维拉雷特 企业对企业会议调度问题的约束求解方法。 (英语) Zbl 07565988号 J.阿蒂夫。智力。研究(JAIR) 74, 263-301 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{M.Bofill}等人,J.Artif。智力。研究(JAIR)74、263--301(2022;Zbl 07565988) 全文: 内政部
帕维尔·苏瑞克;罗尼·斯特恩;伊莱·博亚尔斯基;阿里尔·费尔纳 将技术从基于搜索的多代理路径查找求解器迁移到基于SAT的方法。 (英语) Zbl 1519.68241号 J.阿蒂夫。智力。研究(JAIR) 73553-618(2022).MSC公司:68T20型 第68页第42页 PDF格式BibTeX公司 XML格式引用 \textit{P.Surynek}等人,J.Artif。智力。研究(JAIR)73,553--618(2022;Zbl 1519.68241) 全文: 内政部
罗伯特·加尼安;金恩贞(Kim,Eun Jung);弗里德里希·斯利沃夫斯基;斯泽德,斯特凡 具有默认值的产品总和:算法和复杂性结果。 (英语) Zbl 07527533号 J.阿蒂夫。智力。研究(JAIR) 73, 535-552 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{R.Ganian}等人,J.Artif。智力。研究(JAIR)73,535--552(2022;Zbl 07527533) 全文: 内政部
于金强;阿列克谢·伊格纳提耶夫;彼得·斯图基(Peter J.Stuckey)。;皮埃尔·勒·博迪奇 使用SAT学习最优决策集和列表。 (英语) Zbl 1522.68489号 J.阿蒂夫。智力。研究(JAIR) 72, 1251-1279 (2021).MSC公司:68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Yu}等人,J.Artif。智力。研究(JAIR)72,1251--1279(2021;Zbl 1522.68489) 全文: 内政部
汤姆·佩特尔;斯泽德,斯特凡 找出最难解决的公式。 (英语) Zbl 1519.68314号 J.阿蒂夫。智力。研究(JAIR) 72, 69-97 (2021).MSC公司:68伏15 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Peitl}和\textit{S.Szeider},J.Artif。智力。研究(JAIR)72,69-97(2021;Zbl 1519.68314) 全文: 内政部
多米尼克·施赖伯 Lilotane:一种基于提升SAT的分层规划方法。 (英语) Zbl 1512.68312号 J.阿蒂夫。智力。研究(JAIR) 70, 1117-1181 (2021).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Schreiber},J.Artif(美国作家)。智力。研究(JAIR)70,1117--1181(2021;Zbl 1512.68312) 全文: 内政部
尼基尔·维亚斯;莱恩·威廉姆斯 在超级强大的ETH上。 (英语) Zbl 1512.68115号 J.阿蒂夫。智力。研究(JAIR) 70, 473-495 (2021).MSC公司:65年第68季度 68兰特 68T20型 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{N.Vyas}和\textit{R.Williams},J.Artif。智力。研究(JAIR)70,473--495(2021;Zbl 1512.68115) 全文: 内政部
斯蒂芬·瓦尔钦;简·麦克唐纳;萨沙·豪赫;吉塔·库蒂尼奥克 理解二进制分类器决策的计算复杂性。 (英语) Zbl 1512.68116号 J.阿蒂夫。智力。研究(JAIR) 70, 351-387 (2021).MSC公司:65年第68季度 2006年第68季度 2015年第68季度 68T05型 68周25 PDF格式BibTeX公司 XML格式引用 \textit{S.Wäldchen}等人,J.Artif。智力。研究(JAIR)70,351--387(2021;Zbl 1512.68116) 全文: 内政部 arXiv公司
彼得·库切拉;佩特·萨维克 PC和URC公式大小的界限。 (英语) Zbl 1497.68453号 J.阿蒂夫。智力。研究(JAIR) 69, 1395-1420 (2020).MSC公司:68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Kučera}和textit{P.Savickí},J.Artif。智力。研究(JAIR)69,1395-1420(2020;Zbl 1497.68453) 全文: 内政部 arXiv公司
米洛舍·克罗姆;乔佩克,Ondřej 布尔函数的开关列表表示的属性。 (英语) Zbl 1490.68216号 J.阿蒂夫。智力。研究(JAIR) 69, 501-529 (2020).MSC公司:68立方英尺 06E30年 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{M.Chrom}和\textit{O.Co epek},J.Artif。智力。研究(JAIR)69,501--529(2020;Zbl 1490.68216) 全文: 内政部
埃曼纽尔·希伯拉德;乔治·卡特西雷洛斯 图着色的约束和可满足性推理。 (英语) Zbl 1490.68205号 J.阿蒂夫。智力。研究(JAIR) 69, 33-65 (2020).MSC公司:68T20型 05C15号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{E.Hebrard}和\textit{G.Katsirelos},J.Artif。智力。研究(JAIR)69,33-65(2020;Zbl 1490.68205) 全文: 内政部
斯特凡·蒙格尔;罗曼·沃隆 具有辅助变量的CNF编码的图宽度度量。 (英语) Zbl 1437.68133号 J.阿蒂夫。智力。研究(JAIR) 67, 409-436 (2020).MSC公司:68兰特 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Mengel}和\textit{R.Wallon},J.Artif。智力。研究(JAIR)67,409--436(2020;Zbl 1437.68133) 全文: 内政部 arXiv公司
马丁·库珀。;艾尔·穆埃利,Achref;西里尔·特里奥克斯 二进制CSP中的变量消除。 (英语) Zbl 1494.68252号 J.阿蒂夫。智力。研究(JAIR) 66, 589-624 (2019).MSC公司:68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,J.Artif。智力。研究(JAIR)66,589--624(2019;Zbl 1494.68252) 全文: 内政部 arXiv公司
汉内·弗莱明克;Joost Vennekens;马克·德内克;莫里斯·布吕诺格 一种求解所有矩阵{SO}可满足性问题的近似推理方法。 (英语) Zbl 1253.68305号 J.阿蒂夫。智力。研究(JAIR) 45, 79-124 (2012).MSC公司:68T27型 68T20型 03年11月15日 PDF格式BibTeX公司 XML格式引用 \textit{H.Vlaemick}等人,J.Artif。智力。研究(JAIR)45,79-124(2012;Zbl 1253.68305) 全文: 内政部
Huang,R。;陈一新;张伟雄 SAS+规划作为可满足性。 (英语) Zbl 1244.68071号 J.阿蒂夫。智力。研究(JAIR) 43, 293-328 (2012). 审核人:贾纳·科勒(卢塞恩) MSC公司:68T20型 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{R.Huang}等人,J.Artif。智力。研究(JAIR)43,293--328(2012;Zbl 1244.68071) 全文: 内政部 arXiv公司
A.西马蒂。;A.格里乔。;R·塞巴斯蒂亚尼。 在可满足模理论中计算小的不可满足核。 (英语) Zbl 1216.68241号 J.阿蒂夫。智力。研究(JAIR) 40, 701-728 (2011).MSC公司:68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,J.Artif。智力。研究(JAIR)40,701--728(2011;Zbl 1216.68241) 全文: 内政部 arXiv公司
卡梅尔·多姆什拉克;霍夫曼,约格;阿什什·萨巴沃尔 朋友还是敌人?将规划作为可满足性和抽象CNF编码。 (英语) Zbl 1188.68270号 J.阿蒂夫。智力。研究(JAIR) 36, 415-469 (2009).MSC公司:68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Domshlak}等人,J.Artif。智力。研究(JAIR)36,415--469(2009;Zbl 1188.68270) 全文: 内政部
R·塞巴斯蒂亚尼。;M.韦斯科维。 通过SAT编码在模态和描述逻辑中进行自动推理:(K_m/mathcal{ALC})-可满足性的案例研究。 (英语) Zbl 1180.68257号 J.阿蒂夫。智力。研究(JAIR) 35, 343-389 (2009).MSC公司:68T27型 03B35型 03B45号 68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{M.Vescovi},J.Artif。智力。研究(JAIR)35,343--389(2009;Zbl 1180.68257) 全文: 内政部 arXiv公司
J.Y.Halpern。;R·普切拉。 关于较高概率的推理逻辑。 (英语) Zbl 1029.68134号 J.阿蒂夫。智力。研究(JAIR) 17, 57-81 (2002).MSC公司:68层37 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}和\textit{R.Pucella},J.Artif。智力。研究(JAIR)17,57-81(2002;Zbl 1029.68134) 全文: arXiv公司
托比斯,S。 表达描述逻辑中具有基数限制和名词的推理的复杂性。 (英语) Zbl 0941.03029号 J.阿蒂夫。智力。研究(JAIR) 12, 199-217 (2000).MSC公司:03B70号 65年第68季度 68T27型 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.托比斯},J.阿蒂夫。智力。决议(JAIR)12199-217(2000年;兹bl 0941.03029)