您要查找的是不是：
- 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中不可满足公式构造的原理和方法.
- 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公式类之间转换中的作用
- Complete Proof Systems for Unsatisfiable Formulas 不可满足公式的完备证明系统
- The formula of the medicine is still a secret. 此药的配方仍是秘密。
- "How do you do?" is a polite formula. "您好。"是客气的套语。
- minimal unsatisfiable formula 极小不可满足公式
- It was Hart who created the basic formula of the western film. 正是这个哈特创造了西部电影的基本格局。
- unsatisfiable formula 不可满足公式
- Equivalence Structure of a Subclass of Minimal Unsatisfiable Formulas 一个极小不可满足公式子类的等价结构
- A formula for settling the border dispute has been worked out. 已拟定一个解决边界纠纷的方案。
- Managers and workers are still working out a peace formula. 劳资双方仍在商谈制订和解方案。
- They are working on the perfection of their new paint formula. 他们正在努力研制尽善尽美的新颜料配方。
- It's the formula for converting gallons into liters. 这是加仑与升的换算公式。
- She tried to wrap up a censure in a polite formula. 她试图用客套的话掩饰指责之意。
- I do not remember all these formula. 这些公式我并不全都记得。
- Applications of Minimal Unsatisfiable Formulas to Polynomially Reduction for Formulas 极小不可满足公式在多项式归约中的应用
- Formula one cars are the most powerful. 一级方程式赛车马力最大。
- Almost every episode followed a certain formula. 几乎每一段情节都遵循一套特定的模式。
- There is no sure formula for success. 成功并无一定之规.
- The cars in the Formula racing cars have one seat. 在方程式汽车赛中使用的汽车都只有一个座位。
