Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic.

Angelo Brillout Daniel Kroening Philipp Rümmer Thomas Wahl

Published in: VMCAI (2011)

Keyphrases

quantifier elimination
presburger arithmetic
quantifier free
constraint propagation
functional programming
first order logic
cardinality constraints
constraint databases
constraint satisfaction