Login / Signup

Simultaneous Quantifier Elimination.

Serge AutexierHeiko MantelWerner Stephan
Published in: KI (1998)
Keyphrases
  • quantifier elimination
  • constraint propagation
  • functional programming
  • cardinality constraints
  • presburger arithmetic
  • first order logic
  • constraint databases
  • search algorithm
  • constraint programming
  • temporal data