Decision procedures for extensions of the theory of arrays.

Silvio Ghilardi Enrica Nicolini Silvio Ranise Daniele Zucchelli

Published in: Ann. Math. Artif. Intell. (2007)

Keyphrases

decision procedures
presburger arithmetic
automated reasoning
modal logic
theorem proving
model theoretic
quantifier elimination
reasoning problems
algebraic structure
conjunctive queries
optimal solution
special case
inference rules
data complexity
probability theory
quantified boolean formulas