@misc{indiciae04ee9c997bdc,
  title = {Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis},
  author = {Julien de Castelnau and Mingfei Yu and Giovanni De Micheli},
  year = {2025},
  url = {https://arxiv.org/abs/2506.12883},
  note = {Source identifier: 2506.12883}
}