Genetic Programming Bibliography entries for Nicolas Galvez Ramirez

up to index Created by W.Langdon from gp-bibliography.bib Revision:1.8178

GP coauthors/coeditors: Youssef Hamadi, Eric Monfroy, Frederic Saubion, Carlos Castro Valdebenito,

Genetic Programming PhD doctoral thesis Nicolas Galvez Ramirez

• Nicolas Galvez Ramirez. A Framework for Autonomous Generation of Strategies in Satisfiability Modulo Theories. PhD thesis, Federico Santa Maria Technical University, Valparaiso, Chile, 2018. details

Genetic Programming conference papers by Nicolas Galvez Ramirez

• Nicolas Galvez Ramirez and Eric Monfroy and Frederic Saubion and Carlos Castro. Optimizing SMT Solving Strategies by Learning with an Evolutionary Process. In 2018 International Conference on High Performance Computing Simulation (HPCS), pages 816-820, 2018. details

• Nicolas Galvez Ramirez and Youssef Hamadi and Eric Monfroy and Frederic Saubion. Towards Automated Strategies in Satisfiability Modulo Theory. In Malcolm I. Heywood and James McDermott and Mauro Castelli and Ernesto Costa and Kevin Sim editors, EuroGP 2016: Proceedings of the 19th European Conference on Genetic Programming, volume 9594, pages 230-245, Porto, Portugal, 2016. Springer Verlag. details