Login / Signup

Reach Set Computations Using Real Quantifier Elimination.

Hirokazu AnaiVolker Weispfenning
Published in: HSCC (2001)
Keyphrases
  • quantifier elimination
  • artificial intelligence
  • cardinality constraints
  • databases
  • machine learning
  • np hard