1) unsatisfiable formula
不可满足公式
1.
Restricted on the proof of unsatisfiability of unsatisfiable formulas,a modified DPLL—RSMLS algo- rithm is presented.
限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法—RSMLS。
2) unsatisfiable formulas
不可满足公式
1.
MU(1) is a class of minimally unsatisfiable formulas with the deficiency of the number of cl.
MU(1)是子句数与变元数的差等于 1 的极小不可满足公式类。
2.
MU( 1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and.
MU(1)是子句数与变元数的差等于1的极小不可满足公式类。
4) 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) )时间内可
5) 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.
对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。
6) minimal unsatisfiable subformula
极小不可满足子公式
1.
A method to explore the minimal unsatisfiable subformula
一种寻找极小不可满足子公式的方法
补充资料：不可说不可说
【不可说不可说】
谓从不可说、不可说为一不可说转，不可说转、不可说转为一不可说不可说也。
谓从不可说、不可说为一不可说转，不可说转、不可说转为一不可说不可说也。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条