Enhancing logic optimization of Alliance tool based on directed acyclic graphs. - Qiyao He; Zhang Hu; Yinshui Xia; Lunyao Wang; Zhufei Chu (Integr., 2026)