Login / Signup
Partial Quantifier Elimination.
Eugene Goldberg
Panagiotis Manolios
Published in:
CoRR (2014)
Keyphrases
</>
quantifier elimination
constraint propagation
functional programming
first order logic
presburger arithmetic
cardinality constraints
constraint databases
object oriented
expressive power
inference rules
temporal constraints
execution model
constraint query languages