Sibylle Möhle and Armin Biere. Dualizing Projected Model Counting. In: Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018). Pages 702–709. IEEE Computer Society 2018.

[ paper | slides ]