1) minimal unsatisfiable formula
极小不可满足公式
1.
For the subclasses MAX and MARG of minimal unsatisfiable formulas, we show that the variable and literal renaming problems are equivalent to the graph isomorphism problem GI.
对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI。
2.
For MU(1),a subclasses of minimal unsatisfiable formulas,we show the solvability in polynomial time.
公式的改名是将命题变元映到变元本身或变元的否定的一个映射 ,对于极小不可满足公式的子类MU( 1 )中的公式 ,我们证明了其改名判定问题在多项式时间内是可判定的。
3.
the equivalence structure of a subclass (MAX(1)) of minimal unsatisfiable formulas is investigated.
研究一个极小不可满足公式子类 (MAX( 1 ) )的等价结构 考虑了MAX( 1 )上的变元改名问题和文字改名问题 此两个问题均可在O(nlog2 (n) )时间内可
2) minimal unsatisfiable formulas
极小不可满足公式
1.
MAX +(k) is a subclass of minimal unsatisfiable formulas.
MAX+ (k)是极小不可满足公式的一个子类。
2.
one is that almost all hard formulas for resolution are minimal unsatisfiable formulas, the other is that a deeper understanding of MU-formulas may help to develop new hard formulas and new satisfiability algorithms.
对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。
3) minimal unsatisfiable subformula
极小不可满足子公式
1.
A method to explore the minimal unsatisfiable subformula
一种寻找极小不可满足子公式的方法
4) minimal unsatisfiable sub-formulas
极小布尔不可满足子式
5) minimal unsatisfiability
极小不可满足
1.
Variable minimal unsatisfiability (VMU) is a generalization of minimal unsatisfiability (MU).
变量极小不可满足(VMU)问题是极小不可满足(MU)问题的一个扩充和延伸。
2.
A mathematical definition of variable minimal unsatisfiability (VMU) is introduced to drive this abstraction refinement process.
引入变量极小不可满足(VMU)的数学概念来驱动抽象精化的验证过程。
6) unsatisfiable formula
不可满足公式
1.
Restricted on the proof of unsatisfiability of unsatisfiable formulas,a modified DPLL—RSMLS algo- rithm is presented.
限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法—RSMLS。
补充资料：不可说不可说
【不可说不可说】
谓从不可说、不可说为一不可说转，不可说转、不可说转为一不可说不可说也。
谓从不可说、不可说为一不可说转，不可说转、不可说转为一不可说不可说也。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条