@文章{zbMATH06389810，作者={Schrijvers，Tom and Tack，Guido and Wuille，Pieter and Samulowitz，Horst and Stuckey，Peter J.}，标题={搜索组合符}，FJournal={约束}，日志={约束}，ISSN={1383-7133}，体积={18}，数字={2}，页码={269--305}，年份={2013}，语言={英语}，DOI={10.1007/s10601-012-9137-8}，关键词={90C27,90C59}，URL={lirias.kuleuven.be/handle/123456789/415556}，zbMATH={6389810}，Zbl={1309.90090}}