Elementary recursive quantifier elimination based on Thom encoding and sign determination.

Daniel Perrucci Marie-Françoise Roy

Published in: Ann. Pure Appl. Log. (2017)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
first order logic
functional programming
cardinality constraints
constraint databases
constraint satisfaction problems
temporal constraints
database
machine learning
object oriented
expressive power