TY  - RPRT
TI  - Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
AU  - Julien de Castelnau
AU  - Mingfei Yu
AU  - Giovanni De Micheli
PY  - 2025
UR  - https://arxiv.org/abs/2506.12883
ID  - 2506.12883
ER  -