@进行中{比雷-SAT-2014年竞争解决方案，author={Biere，Armin}，title={又一个本地搜索解算器和{玲玲}以及朋友们进入了{SAT竞赛2014}}，页数={39-40}，booktitle＝{2014年SAT竞赛的过程-求解器和基准描述}，编辑＝｛Adrian Balint和Andon Belov以及Marijn Heule和Matti J｛\“a”rvisalo｝，体积={B-2014-2}，series={计算机科学系出版物系列B}，publisher={赫尔辛基大学}，年份=2014年，}