@进行中{比雷-SAT-2018年竞争基准，author={Biere，Armin}，title={{2018年SAT竞赛提交的分水岭和独特反向基准}}，页数={56}，booktitle=2018年{SAT竞赛}的{Proc.~——解算器和基准描述}，editor={Marijn Heule和Matti J{\“a}rvisalo和Martin Suda}，体积={B-2018-1}，series={计算机科学系出版物系列B}，publisher={赫尔辛基大学}，年份=2018年，}