宁欣然, 徐扬, & 陈振颂. (2020). 命题逻辑可满足性问题求解器的新型预处理子句消去方法. 计算机集成制造系统, 26(8), 2133-2142. https://doi.org/10.13196/j.cims.2020.08.014
Chicago Style (17th ed.) Citation宁欣然, 徐扬, and 陈振颂. "命题逻辑可满足性问题求解器的新型预处理子句消去方法." 计算机集成制造系统 26, no. 8 (2020): 2133-2142. https://doi.org/10.13196/j.cims.2020.08.014.
MLA (9th ed.) Citation宁欣然, et al. "命题逻辑可满足性问题求解器的新型预处理子句消去方法." 计算机集成制造系统, vol. 26, no. 8, 2020, pp. 2133-2142, https://doi.org/10.13196/j.cims.2020.08.014.
Warning: These citations may not always be 100% accurate.