Deciding satisfiability of clauseset is one of the active research topics in the automated reasoning field.
子句集的可满足性判定是自动证明领域的热点之一。
2
The following case study illustrates the migration of a report that USES the nestedSet function in an expression outside the within setclause of analytic summary function.