@第{zbMATH07166036条，作者={Bright，Curtis和{\DJ}okovi{\'c}，Dragomir{\v{Z}}。科齐里亚斯、伊利亚斯、加内什、维杰}、，标题={组合搜索的{SAT}+{CAS}方法及其在最佳矩阵中的应用}，FJournal={数学与人工智能年鉴}，日志={Ann.Math.Artif.Intern.}，ISSN={1012-2443}，体积={87}，数字={4}，页码={321--342}，年份={2019}，语言={英语}，DOI={10.1007/s10472-019-09681-3}，关键词={05-04,05B20,68R05,68T27,68W30}，zbMATH={7166036}，Zbl={1434.05001}}