@进行中{HeuleKieslBiere-NFM19，author={Marijn J.H.Heule和本杰明·基尔和Armin Biere}，editor={Julia M.Badger和Kristin Yvonne Rozier}，title={残缺棋盘的子句证明}，booktitle={{NASA}形式方法-第11届国际研讨会，{NFM}2019，美国德克萨斯州休斯顿，2019年5月7日至9日，会议记录}，series={计算机科学讲稿}，体积＝{11460}，页数={204--210}，publisher={Springer}，年份={2019}，}