- author = "Nicolas {Galvez Ramirez}",
- title = "A Framework for Autonomous Generation of Strategies in Satisfiability Modulo Theories",
- school = "Federico Santa Maria Technical University, Valparaiso",
- year = "2018",
- address = "Chile",
- month = "19 " # dec,
- keywords = "genetic algorithms, genetic programming, genetic improvement, SBSE, StratEVO, SMT, SMT-LIB, Z3",
- timestamp = "Tue, 21 Jul 2020 00:40:55 +0200",
-
biburl = "
https://dblp.org/rec/phd/hal/Ramirez18.bib",
- bibsource = "dblp computer science bibliography, https://dblp.org",
-
URL = "https://doctorado.inf.utfsm.cl/index.php/mas-noticias/30-sr-nicolas-sebastian-galvez-ramirez-obtiene-su-grado-de-doctor-en-ingenieria-en-informatica",
-
URL = "https://tel.archives-ouvertes.fr/tel-02136805",
- size = "177 pages",
-
notes = "In English
Also number 601, Universite d'Angers, France
Supervisors: Carlos Castro, Frederic Saubion, Eric Monfroy",
