Sign in

Quantifier-Free Interpolation of a Theory of Arrays

Roberto BruttomessoSilvio GhilardiSilvio 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