Login / Signup

Function synthesis for maximizing model counting.

Thomas VigourouxMarius BozgaCristian EneLaurent Mounier
Published in: CoRR (2023)
Keyphrases
  • model counting
  • weighted model counting
  • database applications
  • knowledge compilation