@技术报告{Biere-FMV-TR-15-2，author={Armin Biere}，title={{Lingeling}和朋友们进入{SAT}{2015年比赛}，数字={15/2}，日期={2015年4月}，institution={正式模型和验证研究所，约翰内斯·开普勒大学}，地址＝{Altenbergerstr.694040 Linz，奥地利}，年份={2015年}，}