Lecture Notes in Computer Science - Genetic Programming
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319306674, 9783319306681
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Grammar Design for Derivation Tree Based Genetic Programming Systems

2016 ◽  
pp. 199-214 ◽  
Author(s):  
Stefan Forstenlechner ◽  
Miguel Nicolau ◽  
David Fagan ◽  
Michael O’Neill
Keyword(s):  
Genetic Programming ◽  
Derivation Tree ◽  
Programming Systems

Towards Automated Strategies in Satisfiability Modulo Theory

2016 ◽  
pp. 230-245 ◽  
Author(s):  
Nicolás Gálvez Ramírez ◽  
Youssef Hamadi ◽  
Eric Monfroy ◽  
Frédéric Saubion
Keyword(s):  
Satisfiability Modulo Theory
Load More ...
Sign in / Sign up

Export Citation Format

Share Document