@第{zbMATH07099222条，作者={Morettin、Paolo和Passerini、Andrea和Sebastiani、Roberto}，Title={加权模型集成的高级{SMT}技术}，FJournal={人工智能}，日志={Artif.Intern.}，ISSN={0004-3702}，体积={275}，页码={1--27}，年份={2019}，语言={英语}，DOI={10.1016/j.artint.2019.04.003}，关键词={68T20,68T37}，zbMATH＝{7099222}，Zbl={1478.68328}}