@文章{zbMATH06670592，作者={Hutter、Frank和Lindauer、Marius和Balint、Adrian和Bayless、Sam和Hoos、Holger和Leyton-Brown、Kevin}，标题={可配置的{SAT}求解器挑战（{CSSC}）}，FJournal＝{人工智能}，Journal＝｛Artifact.Intell.｝，ISSN={0004-3702}，体积={243}，页码={1--25}，年份={2017年}，语言={英语}，DOI={10.1016/j.artint.2016.09.006}，关键词={68T20}，zbMATH={6670592}，Zbl={1402.68161}}