@进行中{NiemetzPreinerBiereFroehlich-DIFTS15，author={Aina Niemetz和Mathias Preiner和Armin Biere和安德烈亚斯·福勒（Andreas Fr），title={使用路径传播}改进{SMT}中位向量逻辑的本地搜索，booktitle={Proc.~4th Intl.~关于设计和实现形式化工具和系统的工作（{DIFTS'15}）}，页数={10页}，年份={2015年}，}