Login / Signup

Solving Projected Model Counting by Utilizing Treewidth and its Limits.

Johannes Klaus FichteMarkus HecherMichael MorakPatrick ThierStefan Woltran
Published in: Artif. Intell. (2023)
Keyphrases
  • model counting
  • bounded treewidth
  • search space
  • polynomial size
  • weighted model counting
  • upper bound
  • boolean functions
  • combinatorial optimization
  • normal form
  • space complexity