2 citations · 2 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
An SMT Theory for n-Indexed Sequences
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
The SMT (Satisfiability Modulo Theories) theory of arrays is well-established and widely used, with variousdecision procedures and extensions developed for it. However, recent work…
cs.LO2024★ 2 cited
On SMT Theory Design: The Case of Sequences
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
Choices in the semantics and the signature of a theory are integral in determining how the theory is used and how challenging it is to reason over it. Our interest in this paper li…