Vaishak Belle, Guy Van den Broeck, and Andrea Passerini authored the paper 'Satisfiability and Model Counting in Open Universes', which was published in the 2016 Beyond NP Workshop at the AAAI Conference on Artificial Intelligence.

Authors

No author data available for this fact.

Sources

• Papers - Dr Vaishak Belle vaishakbelle.github.io via serper

Referenced by nodes (1)

• AAAI Conference on Artificial Intelligence event