Sign in

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

Paulius DilkasVaishak Belle
Published in: KR (2023)
Keyphrases
  • recursive functions
  • inductive inference
  • model counting
  • polynomial size
  • weighted model counting
  • knowledge compilation
  • machine learning
  • first order logic
  • boolean functions
  • theorem prover
  • satisfiability testing