Login / Signup
An efficient quantifier elimination procedure for Presburger arithmetic.
Christoph Haase
Shankara Narayanan Krishna
Khushraj Madnani
Om Swostik Mishra
Georg Zetzsche
Published in:
CoRR (2024)
Keyphrases
</>
quantifier elimination
presburger arithmetic
constraint propagation
cardinality constraints
functional programming
constraint databases
first order logic
algebraic structure
expressive power
search algorithm
modal logic
linear constraints
decision procedures