W zależności od ilości danych do przetworzenia generowanie pliku może się wydłużyć.

Jeśli generowanie trwa zbyt długo można ograniczyć dane np. zmniejszając zakres lat.

Rozdział

Pobierz BibTeX

Tytuł

Counterexample-Driven Genetic Programming

Autorzy

[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik

Dyscyplina naukowa (Ustawa 2.0)

[2.3] Informatyka techniczna i telekomunikacja

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

Książka

GECCO '17 : Proceedings of the Genetic and Evolutionary Computation Conference

Zaprezentowany na

GECCO '17 Genetic and Evolutionary Computation Conference, 15-19.07.2017, Berlin, Germany

Punktacja Ministerstwa / rozdział

20

Punktacja Ministerstwa / konferencja (CORE)

140

Publikacja indeksowana w

WoS (15)

Ta strona używa plików Cookies, w celu zapamiętania uwierzytelnionej sesji użytkownika. Aby dowiedzieć się więcej przeczytaj o plikach Cookies i Polityce Prywatności.