M07-2 Cartesian genetic programming for circuit design Session Start Mon, 14:45 Session End Mon, 15:30 Speaker Lukas Sekanina, Brno University of Technology, Czechia Cartesian genetic programming. Evolutionary circuit design and approximation. Fast circuit evaluation utilizing formal verification methods