Login / Signup
Solving Projected Model Counting by Utilizing Treewidth and its Limits.
Johannes Klaus Fichte
Markus Hecher
Michael Morak
Patrick Thier
Stefan 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