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

No author data available for this fact.

Sources

Referenced by nodes (1)