@收款{zbMATH06528792，作者={Hadarean、Liana和Barrett、Clark和Reynolds、Andrew和Tinelli、Cesare和Deters、Morgan}，标题＝{固定宽度比特向量理论的细粒度{SMT}证明}，BookTitle={编程、人工智能和推理逻辑。第20届国际会议，LPAR-20，2015年，斐济苏瓦，2015年11月24-28日。诉讼}，ISBN＝{978-3-662-48898-0；978-3-662-48899-7}，页码={340--355}，年份={2015年}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-662-48899-7_24}，关键词={68Q60,03B70,68V15}，URL={citeserx.ist.psu.edu/viewdoc/summary？doi=10.1.1.703.6112}，zbMATH={6528792}，Zbl={1471.68143}}