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.
公司的专业生产能力和良好的信誉及服务可满足不同顾客的需求。