Concepedia

Decision procedures for extensions of the theory of arrays

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Annals of Mathematics and Artificial Intelligence · 2007 · 52 citations · 13 references

DOI

Concepts

References

13

Theory of Linear and Integer Programming

Adam N. Letchford, Alexander Schrijver · Journal of the Operational Research Society · 2000 · 5.7K citations

, , +12

Separation logic: a logic for shared mutable data structures

John Reynolds · 2003 · 2.2K citations

, , +14

Simplification by Cooperating Decision Procedures

Greg Nelson, Derek C. Oppen · ACM Transactions on Programming Languages and Systems · 1979 · 901 citations · Full text

, , +16

A decision procedure for an extensional theory of arrays

Aaron Stump, Clark Barrett, David L. Dill et al. · 2002 · 136 citations

, , +7

A rewriting approach to satisfiability procedures

Alessandro Armando, Silvio Ranise, Michaël Rusinowitch · Information and Computation · 2003 · 125 citations

, , +5