您要查找的是不是:
- 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 formula 极小不可满足公式
- Equivalence Structure of a Subclass of Minimal Unsatisfiable Formulas 一个极小不可满足公式子类的等价结构
- 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. 一个公式是极小不可满足的是指公式不可满足而且从中删去任一个子句后得到的公式可满足。
- Applications of Minimal Unsatisfiable Formulas to Polynomially Reduction for Formulas 极小不可满足公式在多项式归约中的应用
- minimal unsatisfiable formulas 极小不可满足公式
- A CNF formula F is minimally unsatisfiable if F is unsatisfiable and the resulting formula deleting any one 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. 摘要研究了极小布尔不可满足子式的提取算法,它分为近似算法和精确算法两种。
- minimal unsatisfiable subformula 极小不可满足子公式
- The principle and method for transforming CNF to (r,s)-CNF and constructing unsatisfiable formulas in (r,s)-CNF are presented. 并且;给出了CNF到(r;s)-CNF公式转换以及(r;s)-CNF中不可满足公式构造的原理和方法.
- 6.A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable. 一个公式是极小不可满足的是指公式不可满足而且从中删去任一个子句后得到的公式可满足。
- Algorithms for Extracting Minimal Unsatisfiable Boolean Sub-formula 极小布尔不可满足子式的提取算法
- Complete Proof Systems for Unsatisfiable Formulas 不可满足公式的完备证明系统
- The formula of the medicine is still a secret. 此药的配方仍是秘密。
- "How do you do?" is a polite formula. "您好。"是客气的套语。
- It was Hart who created the basic formula of the western film. 正是这个哈特创造了西部电影的基本格局。
- We stayed with friends, so our expenses were minimal. 我们住在朋友家,所以我们的花费很小。
- A formula for settling the border dispute has been worked out. 已拟定一个解决边界纠纷的方案。
- Managers and workers are still working out a peace formula. 劳资双方仍在商谈制订和解方案。