大卫·米勒;马库斯·穆勒。;多米尼克·克雷斯;埃尔文·佩什 柔性车间调度问题的一种算法选择方法:通过机器学习选择约束规划求解器。 (英语) Zbl 1507.90065号 欧洲药典。物件。 302,第3号,874-891(2022).MSC公司:90B35型 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{D.Müller}等人,《欧洲期刊》Oper。302号决议,第3号,874--891(2022年;Zbl 1507.90065) 全文: 内政部
斯特凡·门格尔;弗里德里希·斯利沃夫斯基 符号QBF推理的证明复杂性。 (英语) Zbl 07495588号 Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。第12831页,第399-416页(2021年)。MSC公司:第68季度25 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Mengel}和\textit{F.Slivovsky},莱克特。注释计算。科学。12831399--416(2021;Zbl 07495588) 全文: 内政部 arXiv公司
弗朗西斯科·卡利默里;卡明·多达罗;戴维·福斯卡;西蒙娜·佩里;Jessica Zangari 技术说明。有效地将(mathscr{I})-DLV接地器与ASP解算器耦合。 (英语) Zbl 1472.68179号 理论与实践。日志。程序。 20,第2期,205-224(2020).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Calimeri}等人,理论与实践。日志。程序。20,第2号,205-224(2020;Zbl 1472.68179) 全文: 内政部 arXiv公司
卢卡·普利纳;塞德尔,玛蒂娜 2016年和2017年QBF解决方案评估(QBFEVAL’16和QBFEVEL’17)。 (英语) Zbl 1478.68332号 Artif公司。智力。 274, 224-248 (2019).MSC公司:68T20型 68T27型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}和\textit{M.Seidl},Artif。智力。274、224--248(2019年;Zbl 1478.68332) 全文: 内政部
姆拉丹·尼科利奇;韦斯纳·马林科维奇;佐尔坦科瓦奇;贾尼契奇,普雷德拉格 几何投资组合定理证明和证明程序运行时预测。 (英语) Zbl 1431.68123号 安。数学。Artif公司。智力。 85,编号2-4,119-146(2019).MSC公司:68伏15 2004年5月5日 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Nikolić}等人,《数学年鉴》。Artif公司。智力。85,编号2--4,119-146(2019;Zbl 1431.68123) 全文: 内政部
伊恩·邓宁;斯瓦提古普塔;约翰·西尔伯霍尔茨 什么时候最有效?max-cut和QUBO启发式的系统评估。 (英语) Zbl 1528.90288号 信息J.计算。 30,第3号,608-624(2018).MSC公司:90 C59 90-04 PDF格式BibTeX公司 XML格式引用 \textit{I.Dunning}等人,《信息与计算》。30,第3号,608--624(2018;Zbl 1528.90288) 全文: 内政部 链接
尤利娅·德米扬诺娃;托马斯·帕尼;维思,赫尔穆特;弗洛里安·祖勒格 验证工具基准测试的经验软件度量。 (英语) Zbl 1360.68371号 形式方法系统。设计。 50,编号2-3,289-316(2017).MSC公司:68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Demyanova}等人,《表格方法系统》。设计。50、编号2--3、289--316(2017;Zbl 1360.68371) 全文: 内政部
伯恩德·比施尔;帕斯卡·科尔斯克;拉尔斯·科特霍夫;马吕斯·林道尔;尤里·马利茨基;亚历山大·弗雷谢特;霍尔格·胡斯;弗兰克·哈特;凯文·莱顿·布朗;凯文·蒂尔尼;华金·范肖伦 ASlib:用于算法选择的基准库。 (英语) Zbl 1357.68202号 Artif公司。智力。 237, 41-58 (2016).MSC公司:68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bischl}等人,Artif。智力。237、41-58(2016;Zbl 1357.68202) 全文: 内政部 arXiv公司
Marie-Liesse Cauwet;刘嘉林;巴普蒂斯特·罗齐埃;奥利维尔·泰托德 噪音优化的算法组合。 (英语) Zbl 1346.90763号 安。数学。Artif公司。智力。 76,编号1-2,143-172(2016). 审核人:Paulo Mbunga(基尔) MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{M.-L.Cauwet}等人,《数学年鉴》。Artif公司。智力。76,编号1--2,143-172(2016;Zbl 1346.90763) 全文: 内政部 arXiv公司
霍尔格·胡斯;罗兰·卡明斯基;马吕斯·林道尔;托尔斯滕·绍布 aspeed:通过答案集编程进行求解器调度。 (英语) Zbl 1379.68283号 理论与实践。日志。程序。 15,第1期,117-142(2015).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Hoos}等人,《理论与实践》。日志。程序。15,第117-142号(2015年;兹bl 1379.68283) 全文: 内政部 arXiv公司
罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 为什么CP投资组合解决方案被(不足)利用?问题和挑战。 (英语) Zbl 1473.68184号 Falaschi,Moreno(编辑),基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9527, 349-364 (2015).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Amadini}等人,Lect。注释计算。科学。9527349--364(2015;Zbl 1473.68184) 全文: 内政部 哈尔
罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 SUNNY:用于解决约束的懒惰投资组合方法。 (英语) Zbl 1307.68077号 理论与实践。日志。程序。 14,No.4-5,509-524(2014).MSC公司:68T20型 68N17号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Amadini}等人,《理论与实践》。日志。程序。14、编号4--5、509--524(2014;Zbl 1307.68077) 全文: 内政部 arXiv公司
巴夫洛斯·艾里纳基斯;萨尔瓦多鲁杰里;苏布拉马尼,K。;彼得·沃伊切乔夫斯基 参数化线性约束蕴含的复杂性观点。 (英语) Zbl 1309.90107号 限制条件 17,第4期,461-487(2012).MSC公司:90立方厘米 90C05(二氧化碳) 90C60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Eirinakis}等人,《约束17》,第4期,461--487(2012;Zbl 1309.90107) 全文: 内政部
詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔 对模型检查器进行基准测试,以改进算法并调整性能。 (英语) Zbl 1247.68160号 形式方法系统。设计。 第2期第39页,第205-227页(2011年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi}等人,《形式方法系统》。设计。39,第2号,205-227(2011;Zbl 1247.68160) 全文: 内政部
罗马人孔查科夫;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 基于逻辑的本体比较和模块提取,以及在DL-Lite中的应用。 (英语) Zbl 1238.68154号 Artif公司。智力。 174,第15号,1093-1141(2010). 审核人:埃米利奥·穆尼奥斯·韦拉斯科 MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Kontchakov}等人,Artif。智力。174,第15号,1093--1141(2010;Zbl 1238.68154) 全文: 内政部
卢卡·普利纳;阿曼多·塔切拉 学习在量化布尔公式的推理中集成演绎和搜索。 (英语) Zbl 1193.68214号 Ghilardi,Silvio(编辑)等人,《组合系统的前沿》。第七届国际研讨会,FroCoS 2009,意大利特伦托,2009年9月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04221-8/pbk)。计算机科学课堂讲稿5749。人工智能课堂讲稿,350-365(2009)。MSC公司:68T05型 第68页第15页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}和\textit{A.Taccella},莱克特。注释计算。科学。5749350-365(2009年;Zbl 1193.68214) 全文: 内政部
卢卡·普利纳;阿曼多·塔切拉 量化布尔公式的自适应多引擎求解器。 (英语) Zbl 1183.68589号 限制条件 14,第1期,80-116(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}和\textit{A.Tacchella},《限制条件》14,第1期,80-116(2009;Zbl 1183.68589) 全文: 内政部