@收款{zbMATH07571390，作者={Reynolds，Andrew and Woo，Maverick and Barrett，Clark and Brumley，David and Liang，Tianyi and Tinelli，Cesare}，标题={使用上下文相关简化}放大{DPLL}（{T}）字符串解算器，BookTitle={计算机辅助验证。2017年7月24日至28日，德国海德堡，2017年CAV第29届国际会议。诉讼程序。第二部分}，国际标准图书编号={978-3-319-63389-3；978-3-3169-63390-9}，页码={453--474}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-63390-9_24}，关键词={68T20,68W32}，zbMATH={7571390}，Zbl={1494.68255}}