ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2302.09830
  4. Cited By
Weighted First Order Model Counting with Directed Acyclic Graph Axioms
v1v2 (latest)

Weighted First Order Model Counting with Directed Acyclic Graph Axioms

20 February 2023
Sagar Malhotra
Luciano Serafini
ArXiv (abs)PDFHTMLGithub

Papers citing "Weighted First Order Model Counting with Directed Acyclic Graph Axioms"

1 / 1 papers shown
Faster Lifting for Ordered Domains with Predecessor Relations
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