Login / Signup
Satisfiability and Model Counting in Open Universes.
Vaishak Belle
Published in:
AAAI Workshop: Beyond NP (2016)
Keyphrases
</>
model counting
satisfiability testing
weighted model counting
propositional logic
propositional formulas
knowledge compilation
np complete
polynomial size
computational complexity
orders of magnitude
satisfiability problem