Tytuł dzieła
Counterexample - driven genetic programming
Autorzy
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik
Identyfikator dzieła
r507102_2017
Słowa kluczowe
PL
- genetic programming
- program synthesis
- formal verification
- counterexample
- SAT
- SMT
Data
13.04.2017
Język
angielski
Liczba stron lub objętość dzieła
9
Typ dzieła
raport z badań
System tworzony przez Politechnikę Poznańską
oraz Poznańskie Centrum Superkomputerowo-Sieciowe
Zaloguj się przez eKonto, aby dodać do SIN