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