@收款{zbMATH07571432，作者={Mukherjee、Rajdeep和Schrammel、Peter和Haller、Leopold和Kroening、Daniel和Melham、Tom}，Title={将{CDCL}提升到基于模板的抽象域以进行程序验证}，BookTitle={用于验证和分析的自动化技术。第15届国际研讨会，2017年10月3-6日，印度浦那，ATVA 2017。诉讼}，国际标准图书编号={978-3-319-68166-5；978-3-3169-68167-2}，页码={307--326}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-68167-2_21}，关键词={68Q60，68N30，68Q32，68T20}，URL={sro.sussex.ac.uk/id/eprint/69532/1/paper.pdf}，zbMATH={7571432}，Zbl={1495.68139}}