2) a grammatical sentence
语法正确的句子
3) to form a correct sentence
造一个正确的句子
4) orthogonal clause
正交子句
1.
Then,the algorithm utilizes the character of orthogonal clauses to eliminate the overlap information between clauses,and adopts effective simplification techniques to transform the SAT problem into an orthogonal clause group.
该算法首先定义了子句之间的正交关系;然后从消除子句之间的交叠信息出发,利用正交子句的特性,结合有效的简化技术,逐渐将问题简化为一组与原问题完全等价的正交子句组;最后,根据正交子句组对整个赋值空间的覆盖情况来判断SAT是否满足。
5) positive clause
正向子句
6) correct a sentence
订正句子
补充资料：仿写句子
仿写句子是指在一定的语言环境中,根据语言表达的需要,参照题干所提供的句式,另选一个或多个句式相同、内容与上下文衔接的句子。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条