您要查找的是不是：
- Explaining the causes of infeasibility of Boolean formulae has theoretical importance and practical applications in various fields, such as formal verification and electronic design automation. 摘要解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值。
- Strings are arguments of boolean function. 中,函数boolean的参数是字符串。
- Displacement resolution of sub pixel is achieved. 检测系统达到了亚像素级的位移分辨率。
- We need quick resolution of this conflict. 我们需要很快解决这一争端。
- The resolution of the TDC reaches 250ps. 经测试,其测时误差小于250ps。
- How is the resolution of your laser printer? 你的激光打印机的清晰度怎样?
- Speedy resolution of customer requests. 迅速解决客户要求。
- Try reducing the resolution of the panorama in pixels. 尝试在图素中减少全景的解析度。
- His generosity led to the resolution of all our difficulties. 他的慷慨相助使我们的困难全都得以解决。
- His generosity lead to the resolution of all our difficulty. 他的慷慨相助使我们的困难全都得以解决。
- They never did achieve a final resolution of their differences. 他们并没有对其分歧找到一个解决方案。
- These algorithms mostly imply in data, which is a type of Boolean. 这些经典的算法绝大多数适用于布尔型数据。
- BDD is a diagrammatic representation of Boolean function. BDD是布尔函数的图形表示形式。
- The reforms owe a great deal to the resolution of one man. 这些改革主要归功于一个人的坚定决心。
- This paper discusses some properties of structure and nonlinearity of Boolean functions.It proves the relations among linear dimension,algebraic order and variable number,and gives the nonlinearity formula computed by linear dimension. 本文讨论了布尔函数的线性维数与非线性度的有关性质，证明了布尔函数变元个数、代数次数和线性维数之间的关系，给出了由线性维数计算二次布尔函数非线性度的公式.
- They go with a resolution of self-sacrifice in the name of Bethune. 为了白求恩，他们抱着自我牺牲的决心出发了。
- The prismatic resolution of sunlight into its spectral colors. 将太阳光分离为光谱颜色的棱镜分光解析
- No resolution of repenting here after, can be sincere. 打算以后再痛改前非是假的。
- We are now doubling the resolution of the focus movies. 我们将焦点影片的解析度提升了一倍。
- quantified Boolean formula problem 量化布尔公式问题
