Login / Signup
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)
Angelo Brillout
Daniel Kroening
Philipp Rümmer
Thomas Wahl
Published in:
CoRR (2010)
Keyphrases
</>
quantifier elimination
presburger arithmetic
quantifier free
technical report
constraint propagation
functional programming
cardinality constraints
constraint databases
first order logic
execution model