@收款{zbMATH05897345，作者={高利察、托马斯·马丁和蒙尼奥、大卫}，标题={通过{SMT}求解改进策略}，BookTitle={编程语言和系统。第20届欧洲编程研讨会，ESOP 2011，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2011，Saarbr，德国，2011年3月26日至4月3日。诉讼}，ISBN＝{978-3-642-19717-8}，页码={236--255}，年份={2011}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-19718-5_13}，关键词={68N30}，zbMATH={5897345}，Zbl={1326.68093}}