An new concept of saturated conjunctive normal form is introduced and the nature of sat problem is studied for utilizing the characteristic of saturated conjunctive normal form.
引入了一个饱和合取范式的概念，利用饱和合取范式的性质，对SAT问题的本质进行了研究。
By analyzing the basic attributes of the documents and the relationship of these attributes, a conceptual uni-semigroup can describe the relation of concept sets based on the conjunctive operation.
首先说明概念是文本中最基本的属性，概念之间存在着合取运算，概念集基于合取运算的生成变化关系构成一个概念幺半群。
By analyzing the basic attributes of the documents and the relationship of these attributes, a conceptual uni-semigroup can describe the relation of concept sets based on the conjunctive operation.
首先说明概念是文本中最基本的属性，概念之间存在着合取运算，概念集基于合取运算的生成变化关系构成一个概念幺半群。
应用推荐