Przetwarzanie może potrwać kilka sekund...

Rozdział

Tytuł

Solving Symbolic Regression Problems with Formal Constraints

Autorzy

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

Dyscyplina naukowa (Ustawa 2.0)

2.3 Informatyka techniczna i telekomunikacja

Rok publikacji

2019

Typ rozdziału

rozdział w monografii naukowej / referat

Język publikacji

angielski

Słowa kluczowe
EN
  • genetic programming
  • symbolic regression
  • constraints
  • formal verification
  • generalization
Strony (od-do)

977 - 984

DOI

10.1145/3321707.3321743

Książka

GECCO '19 : proceedings of the Genetic and Evolutionary Computation Conference

Zaprezentowany na

Genetic and Evolutionary Computation Conference GECCO 2019, 13-17.07.2019, Prague, Czech Republic

Punktacja MNiSW / rozdział

20

Punktacja MNiSW / konferencja (CORE)

140