@进行中{MoehleBiere-SAT19，author={Sibylle M{\“{o}}hle和Armin Biere}，editor={Mikol{\'{a}}的Janota和在{^{e}}s Lynce}中，title={Backing Backtracking}，booktitle={可满足性测试的理论与应用-{SAT}2019-222019年{SAT}国际会议，葡萄牙里斯本，7月9日至12日，2019年，会议记录}，series={计算机科学讲稿}，体积={11628}，pages＝{250-266}，publisher={Springer}，年份={2019}，}