Nicolás Gálvez Ramírez, Youssef Hamadi, Eric Monfroy, Frédéric Saubion. Towards Automated Strategies in Satisfiability Modulo Theory. In Malcolm I. Heywood, James McDermott, Mauro Castelli, Ernesto Costa, Kevin Sim, editors, Genetic Programming - 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings. Volume 9594 of Lecture Notes in Computer Science, pages 230-245, Springer, 2016. [doi]
Abstract is missing.