Login / Signup
Cliquewidth and Knowledge Compilation
Igor Razgon
Justyna Petke
Published in:
CoRR (2013)
Keyphrases
</>
knowledge compilation
product configuration
prime implicates
logical inference
model counting
quantified boolean formulae
normal form
target language
polynomial size
horn formulas
database
cnf formula
decision making
binary decision diagrams