1)Satisfiable formulas可满足公式
英文短句/例句
1.The Complexity of Extending a Formula to a MU(1) Formula;可满足公式到MU（1）公式的扩张
2.Applications of Minimal Unsatisfiable Formulas to Polynomially Reduction for Formulas极小不可满足公式在多项式归约中的应用
3.A method to explore the minimal unsatisfiable subformula一种寻找极小不可满足子公式的方法
4.THE UNSATISFIABILITY OF RANDOM K-SAT FORMULA VS MINIMAL K-HITTING SET随机k-SAT公式不可满足性VS最小k-击中集
5.Checking the Satisfiability of ALCN-concepts with a Complete DNF完全析取范式检测ALCN-概念的可满足性
6.Commutativity of Semiprime Rings with Constraints on Varying Polynomial Equality满足某可变恒等式的半质环的交换性
7.deferred gratification pattern hypothesis延缓满足模式假说延缓满足模式假说
8.(mathematics) any set of points that satisfy a set of postulates of some kind.（数学）满足特定的几何公式的一组元素或点。
9.A Breadth-first-search Algorithm for Deriving Minimal Unsatisfiable Subformulae in Satisfiability Modulo Theories求解极小SMT不可满足子式的宽度优先搜索算法
10.A Local Search Algorithm for the Boolean Unsatisfiable Subformulae Extraction一种求解布尔不可满足子式的局部搜索算法
11.In the new century, we will do our best to design and produce more new products to service and satisfy our buyers.在新的千年里，公司全体员工将再接再厉，生产更多、式更新的产品来满足市场，满足用户。
12.An assortment of French and Danish flavours such as French Sticks, Croissants, Pork Floss Buns, Sweet Potato Pies, Sesame Kaiser, Apple Danish, etc.多种法式及丹麦式面包任君选择，定可满足喜欢欧陆风味的人士。
13.Incremental SAT-based Formal Verification of Security Protocols基于增量式可满足性求解的安全协议形式化验证方法
14.The project won the Beijing real estate excellent apartment award, catering a modern life style.本工程获得北京房地产优秀公寓奖,满足现代化的生活方式。
15.We also take mapping, design for clients and make products, satisfied with customers of high quality.公司可承接测绘、计、图加工等业务，以优良的品质满足客户的需求。
16.For customer's requirement, we can design and manufacture all kinds of non-standard hoisting products.本公司为满足用户需求，可设计生产制造各种非标准起重产品。
17."From proprietary to public standard, the proliferation of industrial networks offers users various benefits."从企业内部到公共标准,工业网络可满足多用户的要求
18.The products are well sold throughout the country and exported to Southeast Asia and Korea, and so on.公司的专业生产能力和良好的信誉及服务可满足不同顾客的需求。
相关短句/例句
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)与工作或组织无直接关系的其他因素。如工作满足可随人的年龄、健康水平、社会地位、个人情绪以及家庭关系、社会风气等不同而不同。 (孙俊山撰张燮审)
