您要查找的是不是：
- linear CNF formula 线性CNF公式
- 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. 一个公式是极小不可满足的是指公式不可满足而且从中删去任一个子句后得到的公式可满足。
- A CNF formula F is minimally unsatisfiable if F is unsatisfiable and the resulting formula deleting any one clause from F is satisfiable. 一个公式是极小不可满足的是指该公式本身不可满足;而且从中删去任意一个子句后得到的公式可满足.
- A SAT algorithm can determine whether any given CNF formula is satisfiable in limited time. DPLL algorithm and resolution refutation are two key methods resolving SAT problems. 一个SAT算法能在有限时间内判定任意给定的CNF公式是否可满足，DPLL算法和消解反驳法是判定SAT问题的两个重要方法。
- SAT algorithm can determine whether any given CNF formula is satisfiable in limited time.DPLL algorithm and resolution refutation are two key methods resolving SAT problems. 一个SAT算法能在有限时间内判定任意给定的CNF公式是否可满足，DPLL算法和消解反驳法是判定SAT问题的两个重要方法。
- Renaming for CNF formulas may help to improve DPLL algorithm. 研究CNF公式的改名有助于改进DPLL算法.
- It is known that the problem of extending a Horn formula into a MU(1) formula is solvable in polynomial time. But for a general satisfiable CNF formula F,the extension problem is still open. Horn公式到MU(1)公式的扩张问题可在多项式时间内解决,但对一般CNF公式F的扩张问题,至今尚未解决。
- A homomorphism of CNF formulas from H to F is a function mapping the set of literals in H to the set of literals in F and it preserves complements and clauses. 合取范式(CNF)公式H到F的同志是一个从H的文字集合到F的文字集合的映射、并保持补运算和子句映到子句。
- This paper investigates the complexity of decision problem: for propositional CNF formulas H and F, does there exist a variable (or literal) renaming such that (H)=F? 考虑判定问题“对于给定的CNF公式H和F是否存在一个变元(或文字)改名;使得(H)=F?” 的计算复杂性.
- 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公式类之间转换中的作用
- 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. 正是这个哈特创造了西部电影的基本格局。
- 6.A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable. 一个公式是极小不可满足的是指公式不可满足而且从中删去任一个子句后得到的公式可满足。
- A formula for settling the border dispute has been worked out. 已拟定一个解决边界纠纷的方案。
- A specified arrangement used in ordering. An order need not be linear. 一种在排序中使用的特定排列。排列的次序不必是线性的。
- 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. 这是加仑与升的换算公式。
