TY  - RPRT
TI  - Automating Constraint-Aware Datapath Optimization using E-Graphs
AU  - Samuel Coward
AU  - George A. Constantinides
AU  - Theo Drane
PY  - 2023
UR  - https://arxiv.org/abs/2303.01839
ID  - 2303.01839
ER  -