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.
The Complexity of Extending a Formula to a MU(1) Formula;
可满足公式到MU（1）公式的扩张
6.
A Local Search Algorithm for the Boolean Unsatisfiable Subformulae Extraction
一种求解布尔不可满足子式的局部搜索算法
7.
"Turnips are not like to appease Salladhor Saan. I require gold or silver."
“芜菁可不能满足萨拉多桑恩。我需要金子或银子。”
8.
To please great men is not the lowest glory.
大人物不满足于小荣誉。
9.
The prince was not content, though.
但是这位王子却不满足，
10.
Immeasurably or incalculably minute.
极微小的，微不足道的
11.
This statement, or formula, showed the great amount of energy that could come from a tiny piece of matter.
这一表达式或公式说明了极小的物质可以产生极大的能量。
12.
It is right to Be contented with what we have, never with what we are.
我们可以满足于所得，但不能满足于现状。
13.
Libra, you are not content to just laze around a secluded villa.
天秤：秤子可不会满足于仅在偏远的别墅里混日子。
14.
Dissatisfactory, salary is little, do not have money to buy a house, oneself cannot be bought possible thing, life quality drops.
不满足，工资少，没钱买房子，自己买不了可以的东西，生活质量下降。
15.
The products are well sold throughout the country and exported to Southeast Asia and Korea, and so on.
公司的专业生产能力和良好的信誉及服务可满足不同顾客的需求。
16.
No one watch will statisfy you completely. There is no single definitive model.
没有哪只表可以彻底的满足你，不存在一个完美的模式。
17.
Checking the Satisfiability of ALCN-concepts with a Complete DNF
完全析取范式检测ALCN-概念的可满足性
18.
Commutativity of Semiprime Rings with Constraints on Varying Polynomial Equality
满足某可变恒等式的半质环的交换性