拉蒙·弗拉加·佩雷拉;尼尔·奥伦;费利佩·梅内古齐 基于地标的方法将目标识别为规划。 (英语) Zbl 1478.68331号 Artif公司。因特尔。 279,文章ID 103217,32 p.(2020).MSC公司:68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Pereira}等人,Artif。因特尔。279,文章ID 103217,32 p.(2020;Zbl 1478.68331) 全文: 内政部 arXiv公司
科尔·科恩;罗特姆·加利基;罗伊·齐万 通过阻尼和分裂控制DCOP上Max-sum的收敛。 (英语) Zbl 1478.68319号 Artif公司。因特尔。 279,文章ID 103212,22 p.(2020).MSC公司:68T20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}等人,Artif。因特尔。279,文章ID 103212,第22页(2020;Zbl 1478.68319) 全文: 内政部
卢,泰勒;Craig Boutiler公司 单赢家和多赢家社会选择的偏好启发和稳健赢家决定。 (英语) Zbl 1482.91084号 Artif公司。因特尔。 279,文章ID 103203,32 p.(2020). 审核人:H.C.M.de Swart(蒂尔堡) MSC公司:91B14号机组 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Lu}和\textit{C.Boutiler},Artif。因特尔。279,文章ID 103203,32页(2020;兹bl 1482.91084) 全文: 内政部
普拉珊·多西;彼得·格米特拉西维奇;埃德蒙·杜菲 为决策建立其他代理的递归模型:研究视角。 (英语) Zbl 1478.68381号 Artif公司。因特尔。 279,文章ID 103202,18 p.(2020).MSC公司:68T42型 91A35型 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{P.Doshi}等人,Artif。因特尔。279,文章ID 103202,18 p.(2020;Zbl 1478.68381) 全文: 内政部
李楚敏;肖,范;罗,毛;很多,费利普;吕志鹏;李、余 CDCL SAT解算器中通过单位传播实现子句生动化。 (英语) Zbl 1478.68325号 Artif公司。因特尔。 279,文章ID 103197,23 p.(2020).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Li}等人,Artif。因特尔。279,文章ID 103197,第23页(2020;Zbl 1478.68325) 全文: 内政部 arXiv公司
莎拉·加格尔(Sarah A.Gaggl)。;托马斯·林斯比勒;马可·马拉提亚;斯特凡·沃尔特兰 第二届国际辩论计算模型竞赛的设计和结果。 (英语) Zbl 1478.68353号 Artif公司。因特尔。 279,文章ID 103193,31 p.(2020).MSC公司:68T27型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Gaggl}等人,Artif。因特尔。279,文章ID 103193,31 p.(2020;Zbl 1478.68353) 全文: 内政部 arXiv公司
乔瓦尼·阿蒙多拉;弗朗西斯科·里卡;米罗斯瓦·特鲁什琴斯基 生成硬随机布尔公式和析取逻辑程序的新模型。 (英语) 兹比尔1478.68316 Artif公司。因特尔。 279,文章ID 103185,26 p.(2020).MSC公司:68T20型 68N17号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人,Artif。因特尔。279,文章ID 103185,26 p.(2020;Zbl 1478.68316) 全文: 内政部 arXiv公司