@进行中{考夫曼·比埃尔·考尔斯-吸血鬼19，作者={Daniela Kaufmann和Armin Biere和曼努埃尔·考尔斯}，editor={Laura Kov{\'a}cs和Andrei Voronkov}，title={{SAT}，计算机代数，乘数}，booktitle={吸血鬼2018和吸血鬼2019。第五届和第六届吸血鬼工作坊}，series={计算中的EPiC系列}，体积={71}，页数={1--18}，年份={2020年}，publisher=｛EasyChair｝}