1) correct a sentence
订正句子
2) 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是否满足。
3) positive clause
正向子句
5) a grammatical sentence
语法正确的句子
6) The BaBy is talking sentences now.
婴儿正说着句子
补充资料：订正
改正（文字中的错误）。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条