Scaling Program Synthesis Based Technology Mapping with Equality Saturation. - Gus Henry Smith; Colin Knizek; Daniel Petrisko; Zachary Tatlock; Jonathan Balkind; Gilbert Louis Bernstein; Haobin Ni; Chandrakana Nandi (CoRR, 2024)