马尔科·阿尔贝蒂;皮耶朗基罗·德尔·阿夸;路易斯·莫尼兹·佩雷拉 运行时验证事件检测的观察策略:理论、算法、实验。 (英语) Zbl 1252.68128号 安。数学。Artif公司。智力。 62,第3-4号,161-186(2011)。MSC公司:2017年第68季度 99年6月 68周25 PDF格式BibTeX公司 XML格式引用 \textit{M.Alberti}等人,Ann.Math。Artif公司。智力。62,No.3--4,161--186(2011;Zbl 1252.68128) 全文: 内政部 链接
马可·巴奥莱蒂;阿尔弗雷多·米拉尼;瓦伦蒂娜·波吉奥尼;法比奥·罗西 ACOP计划中信息素模型的实验评估。 (英语) Zbl 1253.68294号 安。数学。Artif公司。智力。 62,第3-4号,187-217(2011)。MSC公司:68T20型 68T05型 68瓦20 68周25 PDF格式BibTeX公司 XML格式引用 \textit{M.Baioletti}等人,《数学年鉴》。Artif公司。智力。62,编号3--4,187-217(2011;Zbl 1253.68294) 全文: 内政部
丹尼尔·吉马兰斯;罗莎·埃雷罗;丹尼尔·里埃拉;胡安,天使A。;胡安·何塞·拉莫斯 结合概率算法、约束规划和拉格朗日松弛法求解车辆路径问题。 (英语) Zbl 1238.90018号 安。数学。Artif公司。智力。 62,编号3-4,299-315(2011)。MSC公司:90B06型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Guimarans}等人,《数学年鉴》。Artif公司。智力。62,编号3--4,299--315(2011;Zbl 1238.90018) 全文: 内政部 链接
阿方索·杰雷维尼(Alfonso E.Gerevini)。;亚历山德罗·萨埃蒂;伊凡·塞琳娜 通过规则操作图和本地搜索在具有派生谓词的域中进行规划。 (英语) Zbl 1252.68269号 安。数学。Artif公司。智力。 62,第3-4号,259-298(2011)。MSC公司:68T20型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Gerevini}等人,《数学年鉴》。Artif公司。智力。62,No.3--4,259--298(2011;Zbl 1252.68269) 全文: 内政部
亚历山德拉·米利奥;托尔斯滕·绍布;戴维·梅里科;罗伯托·比西亚尼 基于知识的多标准优化,支持室内定位。 (英语) Zbl 1242.68316号 安。数学。Artif公司。智力。 62,编号3-4,345-370(2011)。MSC公司:68立方英尺 第68页第27页 68层37 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Mileo}等人,安.数学。Artif公司。智力。62,编号3--4,345--370(2011;Zbl 1242.68316) 全文: 内政部 链接
迪古·卡克马克;埃斯拉·埃尔登;哈利特,埃尔多安 ASP中计算加权解:基于表示的方法与基于搜索的方法。 (英语) Zbl 1402.68031号 安。数学。Artif公司。智力。 62,编号3-4,219-258(2011)。MSC公司:68N17号 68T20型 92D15型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cakmak}等人,《数学年鉴》。Artif公司。智力。62,No.3--4,219--258(2011;Zbl 1402.68031) 全文: 内政部
若昂·西尔瓦侯爵;何塞普·阿盖利希;安娜·格拉萨;林奇,因斯 布尔词典优化:算法与应用。 (英语) Zbl 1242.90199号 安。数学。Artif公司。智力。 62,编号3-4,317-343(2011)。MSC公司:90C27型 90立方厘米29 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Marques-Silva}等人,《数学年鉴》。Artif公司。智力。62,编号3--4,317--343(2011;Zbl 1242.90199) 全文: 内政部 链接
安吉洛·奥迪;里卡多·拉斯科尼;阿梅迪奥·塞斯塔;斯蒂芬·史密斯。 通过基于约束的迭代采样求解带设置时间的车间调度:实验分析。 (英语) 兹比尔1267.68217 安。数学。Artif公司。智力。 62,编号3-4,371-402(2011)。 审核人:Silvija Vlah Jerić(萨格勒布) MSC公司:68T20型 68平方米 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{A.Oddi}等人,《数学年鉴》。Artif公司。智力。62,编号3--4,371--402(2011;Zbl 1267.68217) 全文: 内政部 链接
卢卡·普利纳;阿曼多·塔切拉 NeVer公司:人工神经网络验证工具。 (英语) Zbl 1251.68143号 安。数学。Artif公司。智力。 62,编号3-4,403-425(2011)。MSC公司:60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}和\textit{A.Taccella},Ann.数学。Artif公司。智力。62,编号3--4,403--425(2011;Zbl 1251.68143) 全文: 内政部
马可·加瓦内利(编辑);托尼·曼奇尼(编辑) 特刊:根据2010年6月10日至11日在意大利博洛尼亚举行的第17届RCRA国际研讨会“组合爆炸问题求解算法的实验评估”上的演示文稿选出的论文。 (英语) Zbl 1241.68018号 安。数学。Artif公司。智力。62,第3-4号,159-425(2011)。 MSC公司:68-06 65年第68季度 68瓦40 00B25型 PDF格式BibTeX公司 XML格式