Login / Signup
An Efficient Quantifier Elimination Procedure for Presburger Arithmetic.
Christoph Haase
Shankara Narayanan Krishna
Khushraj Madnani
Om Swostik Mishra
Georg Zetzsche
Published in:
ICALP (2024)
Keyphrases
</>
quantifier elimination
presburger arithmetic
constraint propagation
functional programming
first order logic
cardinality constraints
constraint databases
algebraic structure
constraint satisfaction
query language
software engineering
constraint satisfaction problems
theorem proving
execution model