@inproceedings{galvezramirez:hal-02709511, TITLE = {{Evolving SMT Strategies}}, AUTHOR = {G{\'a}lvez Ram{\'i}rez, Nicol{\'a}s and Hamadi, Youssef and Monfroy, Eric and Saubion, Fr{\'e}d{\'e}ric}, URL = {https://univ-angers.hal.science/hal-02709511}, BOOKTITLE = {{28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)}}, ADDRESS = {San Jose, United States}, YEAR = {2016}, HAL_ID = {hal-02709511}, HAL_VERSION = {v1}, }