说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 句库 -> 极小不可满足公式
1.
Applications of Minimal Unsatisfiable Formulas to Polynomially Reduction for Formulas
极小不可满足公式在多项式归约中的应用
2.
A method to explore the minimal unsatisfiable subformula
一种寻找极小不可满足子公式的方法
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.
To please great men is not the lowest glory.
大人物不满足于小荣誉。
8.
Immeasurably or incalculably minute.
极微小的,微不足道的
9.
This statement, or formula, showed the great amount of energy that could come from a tiny piece of matter.
这一表达式或公式说明了极小的物质可以产生极大的能量。
10.
It is right to Be contented with what we have, never with what we are.
我们可以满足于所得,但不能满足于现状。
11.
The products are well sold throughout the country and exported to Southeast Asia and Korea, and so on.
公司的专业生产能力和良好的信誉及服务可满足不同顾客的需求。
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.
Relying on the experience for many years, seek domestic and international famous manufacturer's close cooperation actively, in order to be satisfied with customer's demand constantly.
公司凭多年的经验,积极寻求国内外著名厂商密切合作,以不断满足客户需求。
16.
Moreover, my company is positive to make use of the native resources advantage, developping continuously the other process the business, Satisfy the customer's every kind of need.
另外,我公司积极利用当地资源优势,不断开发其它加工业务,满足客户的各种需求。
17.
If you will like the usual credit for these goods Instead of cash term , we are quite willing to meet this extent .
贵公司若愿意对这批货采用一般的赊贷方式而不用现金付款方式,本公司乐于满足贵方要求。
18.
those designs couldn't afford Chanel the freedom of movement that her active lifestyle demanded.
那些服饰的设计使香奈尔无法活动自如,满足不了她积极的生活方式。