Login / Signup
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