Sagar Malhotra
According to our database1,
Sagar Malhotra
authored at least 10 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023
2022
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
A Combinatorial Approach to Weighted Model Counting in the Two-Variable Fragment with Cardinality Constraints.
Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021
2020
Weighed Model Counting in FO<sup>2</sup> with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula.
CoRR, 2020
2010
CoRR, 2010