您要查找的是不是：
- A CNF formula F is minimal unsatisfiable (MU) if F is unsatisfiable and deleting an arbitrary clause results a satisfiable formula. 一个CNF公式F称为极小不可满足的(MU)，如果F是不可满足，并且在F中删去任意一个子句后所得到的公式是可满足的。
- A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable. 一个公式是极小不可满足的是指公式不可满足而且从中删去任一个子句后得到的公式可满足。
- The paper is concerned with the algorithms for extraction of minimal unsatisfiable (MU) Boolean sub-formula.The algorithms include approximate and exact methods. 摘要研究了极小布尔不可满足子式的提取算法，它分为近似算法和精确算法两种。
- One can only estimate some bounds of f(r) except for f(3)=3 and f(4)=4. In this paper, the applications of minimal unsatisfiable formulas are described for transformations between CNF formulas. 函数f是否可计算是一个开问题;除了知道f(3)=3;f(4)=4外;只能估计f(r)的界.;描述了极小不可满足公式在CNF公式类之间转换中的作用
- minimal unsatisfiable subformula 极小不可满足子公式
- minimal unsatisfiability 极小不可满足
- A CNF formula F is minimally unsatisfiable if F is unsatisfiable and the resulting formula deleting any one clause from F is satisfiable. 一个公式是极小不可满足的是指该公式本身不可满足;而且从中删去任意一个子句后得到的公式可满足.
- We stayed with friends, so our expenses were minimal. 我们住在朋友家，所以我们的花费很小。
- Algorithms for Extracting Minimal Unsatisfiable Boolean Sub-formula 极小布尔不可满足子式的提取算法
- Fortunately, the storm only did minimal damage. 很幸运,暴风雨造成的破坏不大。
- The need for breadboarding is minimal. 要进行的实验很少。
- Property speculation was minimal. 物业炒卖活动已经沉寂下来。
- Equivalence Structure of a Subclass of Minimal Unsatisfiable Formulas 一个极小不可满足公式子类的等价结构
- She gained only minimal recognition for her work. 她的工作仅仅得到极少的赞誉。
- The damage to the car was minimal. 汽车受到的损坏很小。
- The work was carried out at minimal cost. 这项工作是以最少的开销完成的。
- There's only a minimal amount of risk involved. 所冒的风险极小。
- As Joe sleeps, his energy requirements are minimal. 乔睡觉时，他的能量需要最
- Optimal performance and minimal stray light. 光学性能优,杂散光小。
- Zen gardens are famous for their minimal design. 禅宗花园因其微型设计而著名。
