iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/ictai/MohleB18.xml
Sibylle Möhle Armin Biere Dualizing Projected Model Counting. 702-709 2018 ICTAI https://doi.org/10.1109/ICTAI.2018.00111 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2018.00111 conf/ictai/2018 db/conf/ictai/ictai2018.html#MohleB18