命题逻辑可满足性问题求解器的新型预处理子句消去方法 - 宁欣然; 徐扬; 陈振颂 (计算机集成制造系统, 2020)
Keywords: 蕴涵模归结; 命题逻辑可满足性问题求解; 子句消去方法; 规划问题