Evolving SMT Strategies. - Ramírez, Nicolás Gálvez; Hamadi, Youssef; Monfroy, Éric; Saubion, Frédéric (2016)