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.

Artykuł

Pobierz BibTeX

Tytuł

Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications

Autorzy

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

Dyscyplina naukowa (Ustawa 2.0)

[2.3] Informatyka techniczna i telekomunikacja

Rok publikacji

2018

Opublikowano w

Evolutionary Computation

Rocznik: 2018 | Tom: vol. 26 | Numer: iss. 3

Typ artykułu

artykuł naukowy

Język publikacji

angielski

Słowa kluczowe
EN
  • genetic programming
  • formal verification
  • counterexamples
  • SMT
Strony (od-do)

441 - 469

DOI

10.1162/evco_a_00228

URL

https://www.mitpressjournals.org/doi/pdf/10.1162/evco_a_00228

Punktacja Ministerstwa / czasopismo

45

Punktacja Ministerstwa / czasopismo w ewaluacji 2017-2021

45

Impact Factor

3,469

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.