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