@正在进行{SoosBiere-SAT-Race-2019-解决方案，author={Mate Soos和Armin Biere}，title={{CryptoMiniSat~5.6}与{YalSAT}在{SAT}{Race}2019}，页数={14-15}，booktitle=2019年{SAT竞赛}的{Proc.~——解算器和基准描述}，editor={Marijn Heule和Matti J{\“a}rvisalo和Martin Suda}，体积={B-2019-1}，series={计算机科学系出版物系列B}，publisher={赫尔辛基大学}，年份=2019，}