Armin Biere, Steffen Hölldobler and Sibylle Möhle. An Abstract Dual Propositional Model Counter. In: Second Young Scientist’s International Workshop on Trends in Information Processing (YSIP2). CEUR Workshop Proceedings, vol. 1837, pp. 17–26. CEUR-WS.org 2017.

[ paper ]