@进行中{比雷-SAT-2017年竞争解决方案，author={Biere，Armin}，title={{CaDiCaL、玲玲、普林格林、特伦格林、YalSAT参加2017年SAT竞赛}}，页数={14-15}，booktitle＝{2017年SAT竞赛的过程-求解器和基准描述}，editor={Tom\'{a}\v{s}Balyo和Marijn Heule以及Matti J{“a}rvisalo}，体积={B-2017-1}，series={计算机科学系出版物系列B}，publisher={赫尔辛基大学}，年份=2017年，}