Tytuł
Counterexample-Driven Genetic Programming
Autorzy
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik
Dyscyplina naukowa (Ustawa 2.0)
Rok publikacji
2017
Typ rozdziału
rozdział w monografii naukowej / referat
Język publikacji
angielski
Słowa kluczowe
EN
- Genetic Programming
- Program Synthesis
- Formal Verification
- Counterexample
- SAT
- SMT
Strony (od-do)
953 - 960
Punktacja Ministerstwa / rozdział
20
Punktacja Ministerstwa / konferencja (CORE)
140
Publikacja indeksowana w
WoS (15)
System tworzony przez Politechnikę Poznańską
oraz Poznańskie Centrum Superkomputerowo-Sieciowe
Zaloguj się przez eKonto, aby dodać do SIN