@正在进行{比雷-SAT 2016年竞赛解决方案，author={Biere，Armin}，title={{Splatz、Lingeling、Plingleing、Treengeling、YalSAT参加2016年SAT竞赛}}，页数={44-45}，booktitle={2016年{SAT竞赛}程序~——解算器和基准描述}，editor={Tom\'{a}\v{s}Balyo和Marijn Heule以及Matti J{“a}rvisalo}，体积={B-2016-1}，series={计算机科学系出版物系列B}，publisher={赫尔辛基大学}，年份=2016年，}