2) unsatisfiable formula
不可满足公式
1.
Restricted on the proof of unsatisfiability of unsatisfiable formulas,a modified DPLL—RSMLS algo- rithm is presented.
限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法—RSMLS。
3) 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) satisfiablity of logical formula
逻辑公式的可满足性
6) 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.
对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。
补充资料：工作满足
工作满足
job satisfaction
工作满足勺ob satisfaetion)组织成员在组织内部履行职责、从事职业活动时所产生的满足感。它是人们对工作的一种基本态度，即对工作的满意或不满意的心理倾向。通常，当工作的内容、性质与职工的愿望、要求一致时，就会产生不同水平的工作满足，反之则会产生不满足。而这种满足，又不仅限于对工作内容本身，也包括对工资、提职、领导者的作风等。就工作满足的主体讲，既可能是个人体验，也可能是群体感受或一部分人的感受;就工作满足的客体讲，既可能是对全部工作的满意，也可能是对工作的某一部分或某一项目的满意。工作满足或不满足往往取决于多种因素，概括起来主要有三个侧面:(l)与工作直接相关的个体心理因素。如工作动机、个人志趣等，像教师热爱教育事业、热爱儿童就是这种满足。(2)工作环境或组织因素。如人际关系、工资待遇、能力发挥情况、工作成就、领导方式等。(3)与工作或组织无直接关系的其他因素。如工作满足可随人的年龄、健康水平、社会地位、个人情绪以及家庭关系、社会风气等不同而不同。 (孙俊山撰张燮审)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条