Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1604.01673
Cited By
v1
v2
v3 (latest)
On the uniform one-dimensional fragment
6 April 2016
Antti Kuusisto
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"On the uniform one-dimensional fragment"
1 / 1 papers shown
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula
AAAI Conference on Artificial Intelligence (AAAI), 2021
Sagar Malhotra
Luciano Serafini
323
9
0
12 Oct 2021
1
Page 1 of 1
