cs.PL cs.AR
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