Improving complex SMT strategies with learning

Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro

Abstract: Satisfiability modulo theory (SMT) solving strategies are composed of various components and parameters that can dramatically affect the performance of an SMT solver. Each of these elements includes ...