Tableaux for Projection Computation and Knowledge Compilation.

Christoph Wernhard

Published in: TABLEAUX (2009)

Keyphrases

normal form
knowledge compilation
prime implicates
product configuration
relational databases
logical inference
model counting
polynomial size
quantified boolean formulae
decision procedures
databases
artificial intelligence
decision making
database systems