TY  - RPRT
TI  - Scaling Program Synthesis Based Technology Mapping with Equality Saturation
AU  - Gus Henry Smith
AU  - Colin Knizek
AU  - Daniel Petrisko
AU  - Zachary Tatlock
AU  - Jonathan Balkind
AU  - Gilbert Louis Bernstein
AU  - Haobin Ni
AU  - Chandrakana Nandi
PY  - 2024
UR  - https://arxiv.org/abs/2411.11036
ID  - 2411.11036
ER  -