TY  - RPRT
TI  - Oracle Synthesis Based on X-Map Decision Diagrams
AU  - Xin Hong
AU  - Kezhen Zhang
AU  - Aochu Dai
AU  - Sanjiang Li
AU  - Shenggang Ying
AU  - Mingsheng Ying
PY  - 2026
UR  - https://arxiv.org/abs/2609.20854
ID  - 2609.20854
ER  -