reference
Vaishak Belle authored the paper 'Open-Universe Weighted Model Counting', which was published in the proceedings of the 2017 AAAI Conference on Artificial Intelligence.
Authors
Sources
- Papers - Dr Vaishak Belle vaishakbelle.github.io via serper