On the expressive power of CNF formulas of bounded tree- and clique-width.

Irénée Briquel Pascal Koiran Klaus Meer

Published in: Discret. Appl. Math. (2011)

Keyphrases

expressive power
cnf formula
first order logic
data complexity
query language
maximum weight
relational algebra
monadic second order logic
transitive closure
np complete
computational properties
information extraction
data model
expert systems
relational calculus
objective function
tree matching
machine learning