Open-Universe Weighted Model Counting. Belle, V. In AAAI, 2017.
Open-Universe Weighted Model Counting [pdf]Paper  bibtex   

Downloads: 0