@正在进行{DBLP:conf/fmcad/NiemetzPB14，author={Aina Niemetz和Mathias Preiner和Armin Biere}，title={涡轮充电引理随需应变，不在乎推理}，booktitle={{FMCAD}}，页数={179--186}，publisher={{IEEE}}，年份={2014}}