命题逻辑可满足性问题求解器的新型 预处理子句消去方法.

Autor: 宁欣然, 徐扬, 陈振颂
Zdroj: Computer Integrated Manufacturing Systems; Aug2020, Vol. 26 Issue 8, p2133-2142, 10p
Databáze: Complementary Index