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