Login / Signup
Local Computing By Partial Quantifier Elimination.
Eugene Goldberg
Published in:
CoRR (2024)
Keyphrases
</>
quantifier elimination
constraint propagation
functional programming
presburger arithmetic
cardinality constraints
first order logic
constraint databases
objective function
temporal information