Faster one block quantifier elimination for regular polynomial systems of equations.

Huu Phuoc Le Mohab Safey El Din

Published in: CoRR (2021)

Keyphrases

quantifier elimination
query language
np complete
expressive power
constraint databases
functional programming
presburger arithmetic