Title
Solving Symbolic Regression Problems with Formal Constraints
Authors
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] employee
Scientific discipline (Law 2.0)
Year of publication
2019
Chapter type
chapter in monograph / paper
Publication language
english
Keywords
EN
- genetic programming
- symbolic regression
- constraints
- formal verification
- generalization
Pages (from - to)
977 - 984
Points of MNiSW / chapter
20.0
Points of MNiSW / conference (CORE)
140.0
System created by Poznań University of Technology
and Poznan Supercomputing and Networking Center
Log in through eKonto to add to SIS