@文章{zbMATH06055918，作者={Kemper，Stephanie}，标题={基于{SAT}验证定时组件连接器}，FJournal={计算机编程科学}，日志={Sci.Compute.Program.}，ISSN={0167-6423}，体积={77}，数字={7-8}，页码={779--798}，年份={2012}，语言={英语}，DOI={10.1016/j.scico.2011.02.003}，关键词={68Q60,68T20,68Q45,68N30}，zbMATH={6055918}，Zbl=｛1279.68212｝}