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

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

    LRM

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