A Poly-algorithmic Approach to Quantifier Elimination.

James H. Davenport Zak P. Tonks Ali Kemal Uncu

Published in: SYNASC (2023)

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
first order logic
cardinality constraints
constraint databases
constraint query languages
expressive power
constraint satisfaction problems
lower bound
data model
programming language