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