@第{zbMATH05003871条，作者={Giunchiglia、Enrico和Narizzano、Massimo和Tacchella、Armando}，标题={量化{布尔}逻辑可满足性}的回跳，FJournal={人工智能}，日志={Artif.Intern.}，ISSN={0004-3702}，体积={145}，数字={1-2}，页码={99--120}，年份={2003}，语言={英语}，DOI={10.1016/S0004-3702（02）00373-9}，关键词={68T15,68Q25}，zbMATH={5003871}，Zbl={1082.68795}}