1)  satisfiability
可满足
1.
The satisfiability of sentences in Fust-order group theory on the language is discussed.
讨论群的命题的可满足性。
2)  satisfiability
可满足性
1.
RTL hybrid satisfiability solving methods are classified into two categories:One is based on SMT(Satisfiability Modulo Theories),and the other is based on circuit structure searching.
RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类。
2.
Two heuristic strategies for solving satisfiability (SAT) problem were presented.
提出了两个用于求解可满足性 (SAT)问题的启发式策略。
3.
The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.
语义网的关键推理问题可以化为公式的可满足性判定问题。
3)  satisfiablity degree
可满足度
4)  αsatisfiable
α可满足
5)  satisfiability problem
可满足问题
6)  unsatisfiability
不可满足性
参考词条
补充资料：工作满足


工作满足
job satisfaction

　　工作满足勺ob satisfaetion)组织成员在组织内部履行职责、从事职业活动时所产生的满足感。它是人们对工作的一种基本态度，即对工作的满意或不满意的心理倾向。通常，当工作的内容、性质与职工的愿望、要求一致时，就会产生不同水平的工作满足，反之则会产生不满足。而这种满足，又不仅限于对工作内容本身，也包括对工资、提职、领导者的作风等。就工作满足的主体讲，既可能是个人体验，也可能是群体感受或一部分人的感受;就工作满足的客体讲，既可能是对全部工作的满意，也可能是对工作的某一部分或某一项目的满意。工作满足或不满足往往取决于多种因素，概括起来主要有三个侧面:(l)与工作直接相关的个体心理因素。如工作动机、个人志趣等，像教师热爱教育事业、热爱儿童就是这种满足。(2)工作环境或组织因素。如人际关系、工资待遇、能力发挥情况、工作成就、领导方式等。(3)与工作或组织无直接关系的其他因素。如工作满足可随人的年龄、健康水平、社会地位、个人情绪以及家庭关系、社会风气等不同而不同。 (孙俊山撰张燮审)
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。