The Representational Power of Conjunctive Normal Form.

Thomas O'Neil Jason Smith

Published in: FCS (2006)

Keyphrases

representational power
conjunctive normal form
data representation
satisfiability problem
polynomial size
generative model
boolean formula
truth values
propositional satisfiability
knowledge base
cnf formula
machine learning
np complete
temporal logic
dnf formulas