Incremental Knowledge Compilation Using the Extension Rule.

Ying Liu Wenxiang Gu Tingting Zou Qingtao Huang Qiao Li

Published in: J. Networks (2013)

Keyphrases

knowledge compilation
product configuration
prime implicates
logical inference
model counting
polynomial size
quantified boolean formulae
decision support
normal form
association rules
constraint satisfaction
database
databases
information retrieval
target language
decomposable negation normal form