Login / Signup
Approximate Model Counting by Partial Knowledge Compilation.
Yong Lai
Published in:
CoRR (2018)
Keyphrases
</>
model counting
knowledge compilation
product configuration
polynomial size
prime implicates
normal form
target language
satisfiability testing
database
databases
heuristic search
constraint satisfaction