Solving symbolic regression problems with formal constraints-Reference-Cited by-同舟云学术

Solving symbolic regression problems with formal constraints

Published:2019-07-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Genetic and Evolutionary Computation Conference
language:
Short-container-title:

Author:

Błądek Iwo¹,Krawiec Krzysztof¹

Affiliation:

1. Poznan University of Technology, Poznan, Poland

Funder

Narodowe Centrum Nauki

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3321707.3321743

Reference12 articles.

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

2. Hoare logic-based genetic programming

3. Solving Uncompromising Problems With Lexicase Selection

4. An axiomatic basis for computer programming

5. Colin Johnson. 2007. Genetic Programming with Fitness based on Model Checking. In Proceedings of the 10th European Conference on Genetic Programming (Lecture Notes in Computer Science) Marc Ebner Michael O'Neill Anikó Ekárt Leonardo Vanneschi and Anna Isabel Esparcia-Alcázar (Eds.) Vol. 4445. Springer Valencia Spain 114--124. https://doi.org/ Colin Johnson. 2007. Genetic Programming with Fitness based on Model Checking. In Proceedings of the 10th European Conference on Genetic Programming (Lecture Notes in Computer Science) Marc Ebner Michael O'Neill Anikó Ekárt Leonardo Vanneschi and Anna Isabel Esparcia-Alcázar (Eds.) Vol. 4445. Springer Valencia Spain 114--124. https://doi.org/

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Data Validation Utilizing Expert Knowledge and Shape Constraints;Journal of Data and Information Quality;2024-06-25

2. Generational Computation Reduction in Informal Counterexample-Driven Genetic Programming;Lecture Notes in Computer Science;2024

3. SymFormer: End-to-End Symbolic Regression Using Transformer-Based Architecture;IEEE Access;2024

4. Shape-constrained Symbolic Regression: Real-World Applications in Magnetization, Extrusion and Data Validation;Genetic and Evolutionary Computation;2024

5. Human-Driven Genetic Programming for Program Synthesis: A Prototype;Proceedings of the Companion Conference on Genetic and Evolutionary Computation;2023-07-15