Genetic Programming Bibliography entries for Jiri Matyas

up to index Created by W.Langdon from gp-bibliography.bib Revision:1.8120

GP coauthors/coeditors: Milan Ceska, Vojtech Mrazek, Lukas Sekanina, Zdenek Vasicek, Tomas Vojnar, Milan Ceska jr, Adam Pankuch,

Genetic Programming Articles by Jiri Matyas

• Milan Ceska and Jiri Matyas and Vojtech Mrazek and Lukas Sekanina and Zdenek Vasicek and Tomas Vojnar. SagTree: Towards efficient mutation in evolutionary circuit approximation. Swarm and Evolutionary Computation, 69:100986, 2022. details

• Milan Ceska and Jiri Matyas and Vojtech Mrazek and Lukas Sekanina and Zdenek Vasicek and Tomas Vojnar. Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits. Applied Soft Computing, 95:106466, 2020. details

Genetic Programming conference papers by Jiri Matyas

• Milan Ceska jr. and Milan Ceska and Jiri Matyas and Adam Pankuch and Tomas Vojnar. Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. In Roberto Moreno-Diaz and Franz Pichler and Alexis Quesada-Arencibia editors, International Conference on Computer Aided Systems Theory, EUROCAST 2019, volume 12013, pages 482-490, Las Palmas de Gran Canaria, Spain, 2019. Springer. details

• Milan Ceska and Jiri Matyas and Vojtech Mrazek and Lukas Sekanina and Zdenek Vasicek and Tomas Vojnar. ADAC: Automated Design of Approximate Circuits. In Hana Chockler and Georg Weissenbacher editors, Computer Aided Verification, volume 10981, pages 612-620, Oxford, 2018. Springer. details

• Milan Ceska and Jiri Matyas and Vojtech Mrazek and Lukas Sekanina and Zdenek Vasicek and Tomas Vojnar. Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished. In Iris Bahar and Sri Parameswaran editors, Proceedings of 36th IEEE/ACM International Conference On Computer Aided Design (ICCAD), pages 416-423, Irvine, CA, USA, 2017. Institute of Electrical and Electronics Engineers. details