A New Strategy in Systematic Algorithm for Non- Boolean Satisfiability Problems

• 非布尔问题系统求解算法的一种新思路