子公式（ ）：设 为命题公式， 子公式（Sub Formula）：设α为命题公式，β ）： 为命题公式， 为α中的一个连续的符号串，且β为命题公式， 中的一个连续的符号串， 则称β 则称β为...
基于10个网页-相关网页
Sub-formula Property 子公式性质
minimal unsatisfiable boolean sub-formula 极小布尔不可满足子式
·2,447,543篇论文数据，部分数据来源于NoteExpress
The paper is concerned with the algorithms for extraction of minimal unsatisfiable (mu) Boolean sub-formula. The algorithms include approximate and exact methods.
研究了极小布尔不可满足子式的提取算法，它分为近似算法和精确算法两种。
youdao
Combine negative sub growth and weak EPS performance, and you have the perfect formula for investor anxiety about the state of the pay TV business.
FORBES: Cablevision Swoons On Weak Q3; Drags Down Cable Shrs
应用推荐
模块上移
模块下移
不移动