1) Boolean satisfiability
布尔可满足
2) boolean satisfiability
布尔可满足性
1.
The Boolean Satisfiability is one of the most fundamental problems in computer science and a variety of algorithms-including the well-known search-based SAT algorithms-have been proposed.
布尔可满足性是计算机科学中最基础的问题之一,已经出现了包括著名的基于查找的SAT算法在内的各种算法。
2.
In this paper, an efficient method integrating logic simulation and Boolean satisfiability (SAT) is presented, which can verify the designs with black boxes.
该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法 ,用于验证设计中黑盒外部的功能正确性 。
3) Boolean satisfiability problem
布尔可满足问题
1.
Model Checking and Boolean Satisfiability Problem;
模型检验及其布尔可满足问题的研究
4) Boolean Satisfiability (SAT)
布尔可满足性（SAT）
5) Boolean satisfiability
布尔可满足性问题
6) Non-Boolean satisfiability problems
非布尔可满足性问题
补充资料：工作满足
工作满足
job satisfaction
工作满足勺ob satisfaetion)组织成员在组织内部履行职责、从事职业活动时所产生的满足感。它是人们对工作的一种基本态度，即对工作的满意或不满意的心理倾向。通常，当工作的内容、性质与职工的愿望、要求一致时，就会产生不同水平的工作满足，反之则会产生不满足。而这种满足，又不仅限于对工作内容本身，也包括对工资、提职、领导者的作风等。就工作满足的主体讲，既可能是个人体验，也可能是群体感受或一部分人的感受;就工作满足的客体讲，既可能是对全部工作的满意，也可能是对工作的某一部分或某一项目的满意。工作满足或不满足往往取决于多种因素，概括起来主要有三个侧面:(l)与工作直接相关的个体心理因素。如工作动机、个人志趣等，像教师热爱教育事业、热爱儿童就是这种满足。(2)工作环境或组织因素。如人际关系、工资待遇、能力发挥情况、工作成就、领导方式等。(3)与工作或组织无直接关系的其他因素。如工作满足可随人的年龄、健康水平、社会地位、个人情绪以及家庭关系、社会风气等不同而不同。 (孙俊山撰张燮审)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。