李楚敏;徐振兴;乔迪·科尔;很多,费利普;贾马尔·哈贝特;何坤 通过子句学习促进分支和绑定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) 全文: 内政部
阿米莉亚Bădică;拜迪奇,科斯汀;米尔贾纳·伊万诺维奇 使用约束逻辑编程的块结构化调度。 (英文) Zbl 1464.90024号 AI通讯。 33,第1期,第41-57页(2020年).MSC公司:90B35型 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bdic}等人,AI Commun。33,编号1,41-57(2020;兹bl 1464.90024) 全文: 内政部
马里奥·阿尔维亚诺;吉安路易吉·格雷科;安东尼拉·古佐 与基于逻辑的代理在社会环境中形成联盟。 (英文) Zbl 1462.68196号 AI通讯。 31,第5号,383-407(2018).MSC公司:68T42型 68T27型 91磅06 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,AI Commun。31,第5号,383--407(2018;Zbl 1462.68196) 全文: 内政部
艾文德·贾伦;阿西恩,AcháRoberto 调整MaxSAT的基数约束。 (英文) Zbl 1462.68175号 AI通讯。 31,第4号,355-367(2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Jahren}和\textit{A.R.Asín},AI Commun。31,第4号,355--367(2018;Zbl 1462.68175) 全文: 内政部