@进行中{比雷-SAT竞赛-2021基准，author={Armin Biere}，title＝我们的{SAT}解算器{Satch}的完全成对组合测试的{CNF}编码，页面＝{46}，editor=托马斯·巴尔约（Tomas Balyo）、尼尔斯·弗罗利克斯（Nils Froleyks）、马里恩·赫勒（Marijn Heule）、马库斯·伊瑟（Markus Iser）和马蒂·J（Matti J），booktitle={SAT竞赛}2021的{Proc.~——解算器和基准描述}，体积={B-2021-1}，series={计算机科学系报告系列B}，publisher={赫尔辛基大学}，年=2021年，}