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