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