1.
A method to explore the minimal unsatisfiable subformula
一种寻找极小不可满足子公式的方法
2.
Applications of Minimal Unsatisfiable Formulas to Polynomially Reduction for Formulas
极小不可满足公式在多项式归约中的应用
3.
A Breadth-first-search Algorithm for Deriving Minimal Unsatisfiable Subformulae in Satisfiability Modulo Theories
求解极小SMT不可满足子式的宽度优先搜索算法
4.
THE UNSATISFIABILITY OF RANDOM K-SAT FORMULA VS MINIMAL K-HITTING SET
随机k-SAT公式不可满足性VS最小k-击中集
5.
To please great men is not the lowest glory.
大人物不满足于小荣誉。
6.
Immeasurably or incalculably minute.
极微小的，微不足道的
7.
It is right to Be contented with what we have, never with what we are.
我们可以满足于所得，但不能满足于现状。
8.
Contentment need not content less for Being minor.
小事上的满足照样可以使人得到满足，程度上也未必有所差异。
9.
Value for {0} does not meet the minimum length requirements of {1}.
{0} 的值不满足最小长度要求 {1}。
10.
Don' t be content with such a small success.
不要满足于这样小的成功。
11.
The minimum required disk space needed for logging is not available.
不满足日志所需的最小磁盘空间。
12.
It is impossible to satisfy all your demands.
满足你所有的要求是不可能的.
13.
Never content ourselves with book knowledge only.
不可满足于仅仅有一点书本知识。
14.
To be pleased with one is limits is a wretched state."
满足现状,不思进取是一件可悲的事情。
15.
It is strange, yet it is true.
我把什么都给了他,可他还是不满足.
16.
Food can satisfy the appetite, but not the soul. --G.Bernard Shaw
食物可以满足食欲，但不能满足精神的需要。——萧伯纳
17.
Offering heat in aclosed circulation,small heat loss,apparent effect of energy conservation,meeting the needs of a number of consumer equipment with different working temperature.
闭路循环供热，热量损失小，节能效果显著，并可以满足不同使用温度的多个用热设备。
18.
A contemporary fragrance that brings out the fun, casual nature of today's men.
这种充满现代气息的香味，可展现出时下男士不拘小节、趣十足的一面。