霍森·哈桑贝格;丹尼尔·克罗宁;亚历山德罗·阿巴特 具有逻辑指导的认证强化学习。 (英语) Zbl 07732224号 Artif公司。智力。 322,文章ID 103949,22 p.(2023).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{H.Hasanbeig}等人,Artif。智力。322,文章ID 103949,22 p.(2023;Zbl 07732224) 全文: 内政部 arXiv公司
Cheng,Xi(西成);周敏(Zhou,Min);宋晓宇;顾,明;孙家光 并行化SMT解决:惰性分解和调解。 (英语) Zbl 1444.68169号 Artif公司。智力。 257, 127-157 (2018).MSC公司:68T20型 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{X.Cheng}等人,Artif。智力。257、127--157(2018;Zbl 1444.68169) 全文: 内政部
弗兰克·哈特;马吕斯·林道尔;阿德里安·巴林特;萨姆·贝利斯;霍尔格·胡斯;凯文·莱顿·布朗 可配置SAT求解器挑战(CSSC)。 (英语) Zbl 1402.68161号 Artif公司。智力。 243, 1-25 (2017).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Hutter}等人,Artif。智力。243,1--25(2017;Zbl 1402.68161) 全文: 内政部 arXiv公司
尤利亚·利勒;米罗斯瓦·特鲁什琴斯基 关于抽象模块化推理系统和求解器。 (英语) Zbl 1357.68230号 Artif公司。智力。 236, 65-89 (2016).MSC公司:68立方英尺 68N17号 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lierler}和\textit{M.Truszczynski},人工制品。智力。23665--89(2016;Zbl 1357.68230) 全文: 内政部 arXiv公司
KhudaBukhsh,Ashiqur R。;徐,林;霍尔格·H·胡斯。;凯文·莱顿·布朗 SATenstein:从组件自动构建本地搜索SAT解算器。 (英语) Zbl 1351.68255号 Artif公司。智力。 232, 20-42 (2016).MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.R.KhudaBukhsh}等人,Artif。智力。232,20--42(2016;Zbl 1351.68255) 全文: 内政部 链接