@进行中{NiemetzPreinerWolfBiere-CAV18，author={Aina Niemetz和Mathias Preiner和Clifford Wolf和Armin Biere}，title={Btor2、BtorMC和Boolector 3.0}，书名={{CAV}{（1）}}，series={计算机科学讲稿}，体积={10981}，页数={587--595}，publisher={Springer}，年份={2018年}}