@正在进行中{比勒霍尔多布勒莫埃勒-YSIP2-2017，author={Armin Biere和Steffen H\“{o}lldobler和Sibylle M\”{o}hle}，title={抽象对偶命题模型计数器}，booktitle={青年科学家信息趋势国际研讨会处理（YSIP2'17）}，series={{CEUR}研讨会论文集}，体积={1837}，publisher={CEUR-WS.org}，页码={17-26}，年份={2017年}，}