1) minimal unsatisfiable sub-formulas
极小布尔不可满足子式
2) minimal unsatisfiable subformula
极小不可满足子公式
1.
A method to explore the minimal unsatisfiable subformula
一种寻找极小不可满足子公式的方法
3) 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) )时间内可
4) 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.
对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。
5) minimum unsatisfiable subformula
最小不可满足子式
1.
Based on the relationship,a compounded greedy genetic algorithm and an ant colony algorithm are proposed to derive a minimum unsatisfiable subformula.
针对最小不可满足子式的求解问题,提出并证明了布尔公式最小不可满足性与极大可满足性之间的关系。
6) 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)的数学概念来驱动抽象精化的验证过程。
补充资料：可满足式
设a为任一命题公式，若a不是矛盾式，则称a是可满足式。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条