Login / Signup

New approaches to boolean quantifier elimination.

Christoph ZenglerAndreas KüblerWolfgang Küchlin
Published in: ACM Commun. Comput. Algebra (2011)
Keyphrases
  • quantifier elimination
  • database systems
  • databases
  • machine learning
  • computational complexity
  • expert systems