TY  - RPRT
TI  - From Leaves to Clusters: Depth-Efficient SAT-Oracle Synthesis Based on the HRSE Model
AU  - Zhihang Li
AU  - Wei Zi
AU  - Shuai Yang
AU  - Bei Zhou
AU  - Zongjiang Yi
AU  - Woji He
AU  - Yingjie Lin
AU  - Kaixiang Ji
AU  - Heru Du
AU  - Jinchen Xu
PY  - 2026
UR  - https://arxiv.org/abs/2607.11401
ID  - 2607.11401
ER  -