TY  - RPRT
TI  - Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching
AU  - Philip Zucker
PY  - 2025
UR  - https://arxiv.org/abs/2504.14340
ID  - 2504.14340
ER  -