@进行中{HeisingerFleuryBiere-SAT20，author={马克西米利安·海辛格和Mathias Fleury和Armin Biere}，title={分布式立方体和征服Paracooba}，booktitle={{SAT}}，series={计算机科学讲稿}，体积={12178}，页数={114--122}，publisher={Springer}，年份={2020年}}