Login / Signup
Knowledge Compilation Properties of Trees-of-BDDs, Revisited.
Hélène Fargier
Pierre Marquis
Published in:
IJCAI (2009)
Keyphrases
</>
knowledge compilation
product configuration
binary decision diagrams
prime implicates
logical inference
desirable properties
quantified boolean formulae
normal form
polynomial size
decision making
model counting
horn formulas
heuristic search
databases
relational databases