Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2110.05992
Cited By
v1
v2 (latest)
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula
12 October 2021
Sagar Malhotra
Luciano Serafini
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula"
2 / 2 papers shown
Title
Towards Practical First-Order Model Counting
Ananth K. Kidambi
Guramrit Singh
Paulius Dilkas
Kuldeep S. Meel
LRM
35
0
0
17 Feb 2025
Lifted Inference beyond First-Order Logic
Sagar Malhotra
D. Bizzaro
Luciano Serafini
100
3
0
22 Aug 2023
1