@第{zbMATH07440321条,作者{Griggio,Alberto and Roveri,Marco and Tonetta,Stefano},Title={基于{SAT}的模型检查的证明},FJournal={系统设计中的形式方法},Journal={Form.Methods sys.Des.},ISSN={0925-9856},体积={57},数字={2},页数={178--210},年份:{2021},语言{英语},DOI={10.1007/s10703-021-00369-1},关键字={68-XX},zbMATH={7440321}}