Tytuł
Solving Symbolic Regression Problems with Formal Constraints
Autorzy
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik
Dyscyplina naukowa (Ustawa 2.0)
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
Punktacja MNiSW / rozdział
20
Punktacja MNiSW / konferencja (CORE)
140
System tworzony przez Politechnikę Poznańską
oraz Poznańskie Centrum Superkomputerowo-Sieciowe
Zaloguj się przez eKonto, aby dodać do SIN