@进行中{Moehle Sebastiani Biere-SAT20，author={Sibylle M{\“{o}}hle和Roberto Sebastiani和Armin Biere}，title={四味煎熬}，booktitle={{SAT}}，series={计算机科学讲稿}，体积={12178}，页数={62--71}，publisher={Springer}，年份={2020年}}