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