@文章{zbMATH07805094，作者={乌尔里希·奥尔坦、费利克斯和南丁格尔、彼得和沃克、詹姆斯·阿尔弗雷德}，Title={学习为伪{Boolean}和线性{Integer}约束}选择{SAT}编码，FJournal={约束}，日志={约束}，ISSN={1383-7133}，体积={28}，数字={3}，页码={397--426}，年份={2023}，语言={英语}，DOI＝{10.1007/s10601-023-09364-1}，关键词={65K10,68T05,90C05}，zbMATH={7805094}}