Sign in

Iterated Resultants and Rational Functions in Real Quantifier Elimination.

James H. DavenportMatthew EnglandScott McCallumAli Kemal Uncu
Published in: CoRR (2023)
Keyphrases
  • quantifier elimination
  • constraint propagation
  • presburger arithmetic
  • functional programming
  • constraint databases
  • database
  • cardinality constraints
  • data model
  • first order logic
  • constraint satisfaction