@文章{NiemetzPreinerBiere-JSAT15，title={Boolector 2.0系统描述}，author={Aina Niemetz、Mathias Preiner和Armin Biere}，journal={可满足性、布尔建模和计算杂志}，体积={9}，页数={53-58}，年份={2014（2015年出版）}，publisher={IOS出版社}，}