@正在进行{DBLP:conf/sat/BiereF15，author={Armin Biere和安德烈亚斯·福勒（Andreas Fr），title={评估{CDCL}变量评分方案}，booktitle={{SAT}}，series={计算机科学讲稿}，体积={9340}，页数={405--422}，publisher={Springer}，年份={2015年}}