@文章{zbMATH06715262，作者={Cabodi，G.和Camurati，P.E.和Mishchenko，A.以及Palena，M.和Pasini，P.}，标题={IC3}中的{SAT}解算器管理策略：实验方法}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={50}，数字={1}，页码={39--74}，年份={2017年}，语言={英语}，DOI={10.1007/s10703-017-0272-0}，关键词={68Q60,68T20}，zbMATH={6715262}，Zbl={1360.68580}}