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