ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2306.04189
  4. Cited By
Synthesising Recursive Functions for First-Order Model Counting:
  Challenges, Progress, and Conjectures

Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures

7 June 2023
Paulius Dilkas
Vaishak Belle
    LRM
ArXiv (abs)PDFHTML

Papers citing "Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures"

1 / 1 papers shown
Title
Towards Practical First-Order Model Counting
Towards Practical First-Order Model Counting
Ananth K. Kidambi
Guramrit Singh
Paulius Dilkas
Kuldeep S. Meel
LRM
35
0
0
17 Feb 2025
1