[ source ]
This site provides access to the source code of our model counter dualiza and related programs to generate the benchmarks used in our ICTAI'18 paper.
Sibylle Möhle, Armin Biere. Dualizing
Projected Model Counting. To be published in Proc. 30th
Intl. Conf. on Tools with Artificial Intelligence
(ICTAI'18), 8 pages, IEEE Computer Society, 2018.