%0 Journal Article %1 journals/tec/BladekK23 %A Bladek, Iwo %A Krawiec, Krzysztof %D 2023 %J IEEE Trans. Evol. Comput. %K dblp %N 5 %P 1327-1339 %T Counterexample-Driven Genetic Programming for Symbolic Regression With Formal Constraints. %U http://dblp.uni-trier.de/db/journals/tec/tec27.html#BladekK23 %V 27

@article{journals/tec/BladekK23, added-at = {2023-11-01T00:00:00.000+0100}, author = {Bladek, Iwo and Krawiec, Krzysztof}, biburl = {https://www.bibsonomy.org/bibtex/241a29c9e85962cc75311a76c90ca9297/dblp}, ee = {https://doi.org/10.1109/TEVC.2022.3205286}, interhash = {b082668dd1c1657859468b20e99631d0}, intrahash = {41a29c9e85962cc75311a76c90ca9297}, journal = {IEEE Trans. Evol. Comput.}, keywords = {dblp}, month = {October}, number = 5, pages = {1327-1339}, timestamp = {2024-04-08T11:23:20.000+0200}, title = {Counterexample-Driven Genetic Programming for Symbolic Regression With Formal Constraints.}, url = {http://dblp.uni-trier.de/db/journals/tec/tec27.html#BladekK23}, volume = 27, year = 2023 }