%0 Conference Proceedings %T Evolving SMT Strategies %+ Laboratoire d'Etudes et de Recherche en Informatique d'Angers (LERIA) %+ Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX) %+ Laboratoire d'Informatique de Nantes Atlantique (LINA) %A Gálvez Ramírez, Nicolás %A Hamadi, Youssef %A Monfroy, Eric %A Saubion, Frédéric %< avec comité de lecture %B 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) %C San Jose, United States %8 2016 %D 2016 %Z Computer Science [cs]Conference papers %G English %L hal-02709511 %U https://univ-angers.hal.science/hal-02709511 %~ X %~ UNIV-NANTES %~ CNRS %~ UNIV-ANGERS %~ LINA %~ LIX %~ X-LIX %~ X-DEP %~ X-DEP-INFO %~ UNIV-PARIS-SACLAY %~ X-SACLAY %~ LERIA %~ NANTES-UNIVERSITE %~ UNIV-NANTES-AV2022