@misc{indiciae8c98cb62d147,
  title = {From Leaves to Clusters: Depth-Efficient SAT-Oracle Synthesis Based on the HRSE Model},
  author = {Zhihang Li and Wei Zi and Shuai Yang and Bei Zhou and Zongjiang Yi and Woji He and Yingjie Lin and Kaixiang Ji and Heru Du and Jinchen Xu},
  year = {2026},
  url = {https://arxiv.org/abs/2607.11401},
  note = {Source identifier: 2607.11401}
}