1.
Applications of Minimal Unsatisfiable Formulas to Polynomially Reduction for Formulas
极小不可满足公式在多项式归约中的应用
2.
A method to explore the minimal unsatisfiable subformula
一种寻找极小不可满足子公式的方法
3.
THE UNSATISFIABILITY OF RANDOM K-SAT FORMULA VS MINIMAL K-HITTING SET
随机k-SAT公式不可满足性VS最小k-击中集
4.
The Complexity of Extending a Formula to a MU(1) Formula;
可满足公式到MU（1）公式的扩张
5.
A Breadth-first-search Algorithm for Deriving Minimal Unsatisfiable Subformulae in Satisfiability Modulo Theories
求解极小SMT不可满足子式的宽度优先搜索算法
6.
A Local Search Algorithm for the Boolean Unsatisfiable Subformulae Extraction
一种求解布尔不可满足子式的局部搜索算法
7.
It is right to Be contented with what we have, never with what we are.
我们可以满足于所得，但不能满足于现状。
8.
The products are well sold throughout the country and exported to Southeast Asia and Korea, and so on.
公司的专业生产能力和良好的信誉及服务可满足不同顾客的需求。
9.
No one watch will statisfy you completely. There is no single definitive model.
没有哪只表可以彻底的满足你，不存在一个完美的模式。
10.
Checking the Satisfiability of ALCN-concepts with a Complete DNF
完全析取范式检测ALCN-概念的可满足性
11.
Commutativity of Semiprime Rings with Constraints on Varying Polynomial Equality
满足某可变恒等式的半质环的交换性
12.
If you will like the usual credit for these goods Instead of cash term , we are quite willing to meet this extent .
贵公司若愿意对这批货采用一般的赊贷方式而不用现金付款方式，本公司乐于满足贵方要求。
13.
Mr.Zhao's company does not have an adequate inventory to supply the demand.
赵先生的公司存货不足,难以满足客户的需求。
14.
We responded to public demand, but never mind.
我们是满足公众需求，这就不提啦。
15.
The public is not satisfied with light entertainment anymore.
公众再也不满足于轻松的娱乐片了。
16.
Not content with merely recording the British spelling,
而不是仅仅满足于记录了英式拼写法，
17.
This format will be used if no conditions are met:
任何条件均不满足时使用这种格式:
18.
A Family of Functions Equipped with Bernstein Type Inequities and Its Applications
满足Bernstein型不等式的一类函数系