Login / Signup
A Survey on Knowledge Compilation.
Marco Cadoli
Francesco M. Donini
Published in:
AI Commun. (1997)
Keyphrases
</>
knowledge compilation
product configuration
prime implicates
logical inference
normal form
model counting
polynomial size
cnf formula
decision making
decision support
quantified boolean formulae
decomposable negation normal form
special case
object oriented
database management systems