4 citations · 8 across the 17 of their papers we have counts for
1 paper · 1 filter
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…