@正在进行{Biere Fazekas Fleury Heisinger-SAT竞赛-2020解决方案，author={Armin Biere和Katalin Fazekas以及Mathias Fleury和Maximillian Heisinger}，title={{CaDiCaL}、{Kissat}、}Paracooba、{Plingeling}和{Trengeling{参加2020年{SAT竞赛}}，页数={51--53}，editor=托马斯·巴尔约（Tomas Balyo）、尼尔斯·弗罗利克斯（Nils Froleyks）、马里恩·赫勒（Marijn Heule）、马库斯·伊瑟（Markus Iser）和马蒂·J（Matti J），booktitle={SAT竞赛}2020的{Proc.~——解算器和基准描述}，体积＝{B-2020-1}，series={计算机科学系报告系列B}，publisher={赫尔辛基大学}，年=2020年，}