Quantifier-Free Interpolation of a Theory of Arrays

Roberto Bruttomesso Silvio Ghilardi Silvio Ranise

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

quantifier free
quantifier elimination
first order logic
rewrite systems
artificial intelligence
real numbers
expressive power
search algorithm
inference rules
constraint propagation