To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability.
强调二进制的性质这一问题，这是经常被称为布尔或命题满足。
The problem is that Boolean values have lost all their semantic meaning as soon as you construct them.
问题是，布尔值就已经失去了他们所有的语义结构。
Therefore constructions of Boolean permutation with high degree and high nonlinearity have become an important study problem.
因此构造出高次、非线性度高的布尔置换是一个重要的研究问题。
According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.
文中结合布尔代数，采用移除最小项的方法，提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。
The problem of rewriting for Boolean query in data integration systems is addressed.
研究数据集成中的布尔查询的改写问题。
Most quantitative association rules transform mining association rules of numeric property into boolean property, and the kernel problem is to divide the numeric data into intervals.
数值型关联规则的算法大多是将多值属性关联规则挖掘问题转化为布尔型关联规则挖掘问题，而连续属性的离散化是数值型关联规则的核心问题。
Discovering association rules is an important data mining problem. While discovering Quantitative association rules differs from traditional Boolean association rules.
关联规则的发现是数据挖掘的一个重要方面，而数量关联规则的发现不同于传统的布尔型关联规则。
An improved Boolean matching algorithm based on transforming the mapping between Boolean variables into the problem of perfect matching of bipartite graph is presented.
提出了一种改进的基于二分图完美匹配的布尔匹配算法。
An improved Boolean matching algorithm based on transforming the mapping between Boolean variables into the problem of perfect matching of bipartite graph is presented.
提出了一种改进的基于二分图完美匹配的布尔匹配算法。
应用推荐