1.
A Breadth-first-search Algorithm for Deriving Minimal Unsatisfiable Subformulae in Satisfiability Modulo Theories
求解极小SMT不可满足子式的宽度优先搜索算法
2.
A Local Search Algorithm for the Boolean Unsatisfiable Subformulae Extraction
一种求解布尔不可满足子式的局部搜索算法
3.
A method to explore the minimal unsatisfiable subformula
一种寻找极小不可满足子公式的方法
4.
Applications of Minimal Unsatisfiable Formulas to Polynomially Reduction for Formulas
极小不可满足公式在多项式归约中的应用
5.
"Turnips are not like to appease Salladhor Saan. I require gold or silver."
“芜菁可不能满足萨拉多桑恩。我需要金子或银子。”
6.
THE UNSATISFIABILITY OF RANDOM K-SAT FORMULA VS MINIMAL K-HITTING SET
随机k-SAT公式不可满足性VS最小k-击中集
7.
The prince was not content, though.
但是这位王子却不满足，
8.
It is right to Be contented with what we have, never with what we are.
我们可以满足于所得，但不能满足于现状。
9.
Libra, you are not content to just laze around a secluded villa.
天秤：秤子可不会满足于仅在偏远的别墅里混日子。
10.
The Complexity of Extending a Formula to a MU(1) Formula;
可满足公式到MU（1）公式的扩张
11.
Dissatisfactory, salary is little, do not have money to buy a house, oneself cannot be bought possible thing, life quality drops.
不满足，工资少，没钱买房子，自己买不了可以的东西，生活质量下降。
12.
No one watch will statisfy you completely. There is no single definitive model.
没有哪只表可以彻底的满足你，不存在一个完美的模式。
13.
Checking the Satisfiability of ALCN-concepts with a Complete DNF
完全析取范式检测ALCN-概念的可满足性
14.
Commutativity of Semiprime Rings with Constraints on Varying Polynomial Equality
满足某可变恒等式的半质环的交换性
15.
the quiet content of a well-fed child
孩子喂饱后不哭不闹的满足状.
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型不等式的一类函数系