24 citations · 40 across the 18 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010
Instantiation of SMT problems modulo Integers
Mnacho Echenim, Nicolas Peltier
Many decision procedures for SMT problems rely more or less implicitly on an instantiation of the axioms of the theories under consideration, and differ by making use of the additi…
cs.LO2010★ 1 cited
A Decidable Class of Nested Iterated Schemata (extended version)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Many problems can be specified by patterns of propositional formulae depending on a parameter, e.g. the specification of a circuit usually depends on the number of bits of its inpu…