Processing may take a few seconds...

Chapter


Title

Solving Symbolic Regression Problems with Formal Constraints

Authors

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

Scientific discipline (Law 2.0)

[2.3] Information and communication technology

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

DOI

10.1145/3321707.3321743

Book

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

Presented on

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

Points of MNiSW / chapter

20.0

Points of MNiSW / conference (CORE)

140.0

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.