Login / Signup
Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications.
Christoph Wernhard
Published in:
TABLEAUX (2015)
Keyphrases
</>
objective function
computational complexity
relational databases
data model
databases
artificial intelligence
knowledge base
dynamic programming
data management
np complete
linear program
quantifier elimination