Login / Signup
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays.
Angelo Brillout
Daniel Kroening
Philipp Rümmer
Thomas Wahl
Published in:
VERIFY@IJCAR (2010)
Keyphrases
</>
presburger arithmetic
quantifier elimination
algebraic structure
decision procedures
constraint databases
first order logic
functional programming
artificial intelligence
theorem proving
cardinality constraints