马吕斯·林道尔;霍尔格·胡斯;凯文·莱顿·布朗;托尔斯滕·绍布 通过算法配置自动构建并行投资组合。 (英语) Zbl 1404.68144号 Artif公司。智力。 244, 272-290 (2017).MSC公司:68T20型 68周01 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{M.Lindauer}等人,Artif。智力。244272-290(2017;Zbl 1404.68144) 全文: 内政部 链接
弗兰克·哈特;马吕斯·林道尔;阿德里安·巴林特;萨姆·贝利斯;霍尔格·胡斯;凯文·莱顿·布朗 可配置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公司
斯特凡·福克纳;马吕斯·林道尔;弗兰克·哈特 间谍SMAC:SAT解算器的自动配置和性能分析。 (英语) Zbl 1471.68243号 Heule,Marijn(编辑)等人,《满意度测试的理论和应用——SAT 2015》。第18届国际会议,美国德克萨斯州奥斯汀,2015年9月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9340, 215-222 (2015).MSC公司:68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Falkner}等人,Lect。注释计算。科学。9340、215--222(2015;Zbl 1471.68243) 全文: 内政部