Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2302.09830
Cited By
v1
v2 (latest)
Weighted First Order Model Counting with Directed Acyclic Graph Axioms
20 February 2023
Sagar Malhotra
Luciano Serafini
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"Weighted First Order Model Counting with Directed Acyclic Graph Axioms"
1 / 1 papers shown
Faster Lifting for Ordered Domains with Predecessor Relations
Kuncheng Zou
Jiahao Mai
Yonggang Zhang
Y. X. R. Wang
Ondrej Kuzelka
Yuanhong Wang
Yi Chang
226
0
0
25 Jul 2025
1
Page 1 of 1
