@技术报告{NiemetzPreinerBiere-SMT-2017年竞争，author={Aina Niemetz、Mathias Preiner和Armin Biere}，title={{Boolector}参加2017年{SMT}{Competition}，数字＝{17/1}，date={2017年6月}，institution={正式模型和验证研究所，约翰内斯·开普勒大学}，地址={Altenbergerstr.69，4040 Linz，Austria}，年份={2017年}，}