Evolving SMT Strategies

TitreEvolving SMT Strategies
Type de publicationCommunication
TypeCommunication avec actes dans un congrès
Année2016
LangueAnglais
Date du colloque06-08/11/2016
Titre du colloque28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
Titre des actes ou de la revue2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
AuteurGálvez Ramírez, Nicolás , Hamadi, Youssef, Monfroy, Eric, Saubion, Frédéric
PaysEtats-Unis
VilleSan Jose
URL de la noticehttp://okina.univ-angers.fr/publications/ua15337
Lien vers le document en ligne

http://www.ictai2016.com/