Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Browse the full JELIA paper archive.