@第{zbMATH02168192条，作者={Prestwich，Steven and Bressan，St{\'e}phane}，Title={中介系统中查询优化的{SAT}方法}，FJournal={数学与人工智能年鉴}，日志={Ann.Math.Artif.Intern.}，ISSN={1012-2443}，体积={43}，数字={1-4}，页码={195--210}，年份={2005}，语言={英语}，DOI={10.1007/s10472-005-0429-1}，关键词={68T20,68P15}，zbMATH={2168192}，Zbl={1099.68103}}