An SMT Theory for n-Indexed Sequences

The SMT (Satisfiability Modulo Theories) theory of arrays is well-established and widely used, with variousdecision procedures and extensions developed for it. However, recent works suggest that developing tailoredreasoning for some theories, such as sequences and strings, is more efficient than rea...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Hara, Hichem Rami Ait El, Bobot, François, Bury, Guillaume
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Logic in Computer Science
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!