@技术报告{NiemetzPreinerBiere-SMT-竞争-2018，author={Aina Niemetz、Mathias Preiner和Armin Biere}，title={2018年SMT竞赛中的Boolector}}，series={技术报告18/1}，date={2018年6月}，institution={斯坦福大学和林茨约翰内斯·开普勒大学}，address={FMV报告系列，正式模型和验证，约翰内斯·开普勒大学，阿尔滕贝格斯特。69, 4040奥地利林茨}，年份={2018年}，}