Works title
Counterexample - driven genetic programming
Authors
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] employee
Work ID
r507102_2017
Keywords
PL
- genetic programming
- program synthesis
- formal verification
- counterexample
- SAT
- SMT
Date
13.04.2017
Language
english
Number of pages or volume of work
9
Type of work
research report
System created by Poznań University of Technology
and Poznan Supercomputing and Networking Center
Log in through eKonto to add to SIS