Login / Signup

New Width Parameters for Model Counting.

Robert GanianStefan Szeider
Published in: SAT (2017)
Keyphrases
  • model counting
  • database
  • database design
  • knowledge compilation