@技术报告{Biere-FMV-TR-11-1，author={Armin Biere}，title={2011年{SAT竞赛}}上的玲玲和朋友，数字={11/1}，日期={2011年3月}，institution={正式模型和验证研究所，约翰内斯·开普勒大学}，地址={Altenbergerstr.69，4040 Linz，Austria}，年份＝{2011}，}