@进行中{HeuleKieslBiere-CADE17，author={Marijn J.H.Heule和本杰明·基尔和Armin Biere}，title={不带新变量的短校对}，booktitle＝｛｛CADE｝｝，series={计算机科学讲稿}，体积={10395}，页数={130--147}，publisher={Springer}，年份={2017年}}