@正在进行{DBLP:conf/sat/NiemetzPLSB12，author={Aina Niemetz和Mathias Preiner和弗洛里安·朗辛和马蒂娜·塞德尔和Armin Biere}，title={QBF}的基于分辨率的证书提取-（工具演示）}，booktitle={{SAT}}，series={计算机科学讲稿}，体积={7317}，页数={430--435}，publisher={Springer}，年份={2012}}