罗茂, 陈润尧', 黄意雯", 吴歆韵", 熊才权, & 柯远志. (2026). CCSAT: 基于冲突驱动子句学习的电路求解器. Application Research of Computers / Jisuanji Yingyong Yanjiu, 43(5), 1449. https://doi.org/10.19734/j.issn.1001-3695.2025.09.0387
Chicago Style (17th ed.) Citation罗茂, 陈润尧', 黄意雯", 吴歆韵", 熊才权, and 柯远志. "CCSAT: 基于冲突驱动子句学习的电路求解器." Application Research of Computers / Jisuanji Yingyong Yanjiu 43, no. 5 (2026): 1449. https://doi.org/10.19734/j.issn.1001-3695.2025.09.0387.
MLA (9th ed.) Citation罗茂, et al. "CCSAT: 基于冲突驱动子句学习的电路求解器." Application Research of Computers / Jisuanji Yingyong Yanjiu, vol. 43, no. 5, 2026, p. 1449, https://doi.org/10.19734/j.issn.1001-3695.2025.09.0387.
Warning: These citations may not always be 100% accurate.
