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:
CoRR (2023)
Keyphrases
</>
model counting
weighted model counting
search space
knowledge compilation
upper bound
satisfiability testing
boolean functions
space complexity
bounded treewidth
information extraction
orders of magnitude
heuristic search
polynomial size