@进行中{比勒·考尔斯·考夫曼-DATE20，作者={Daniela Kaufmann和Armin Biere和曼努埃尔·考尔斯}，title={从DRUP到PAC再返回}，booktitle={{DATE}}，publisher={{IEEE}}，页数={654--657}，年份={2020年}}