satisfiable

satisfiable怎么读

英式音标：[\'sætɪsˌfaɪəbl]

美式音标：[\'sætɪsˌfaɪəbəl]

satisfiable的意思释义

adj.

可以满足的；

英英释义

adj.capable of being sated

同义词：satiable

satisfiable用法及例句

例句参考

Approximating satisfiable satisfiability problems

Conditional hardness for satisfiable 3-CSPs

Approximating Satisfiable Satisfiability Problems (Extended Abstract)

A simple model to generate hard satisfiable instances

A spectral technique for random satisfiable 3CNF formulas

Finding maximally satisfiable terminologies for the description logic ALC

Balance and filtering in structured satisfiable problems

Random constraint satisfaction: easy generation of hard (satisfiable) instances

Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas

satisfiable相关例句

1. In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable .

在这后一种情况下，我们可以说，是不可满足的功能，否则它是满足的。

2. I want to check whether there exists one and only one truth assignment(i. e only one combination) for which the expression is satisfiable.

我想检查是否存在唯一真理的分配（即只有一个组合）的表达是可满足的。

5. It was shown that the detail construction of turbulence in rocket can be predicted by LES, and the time-averaged method also can give the result with satisfiable engineering precision.

结果表明：大涡模拟技术可以得到发动机内湍流流场中详细拟序结构，时均湍流模拟对于火箭发动机内流场时均量的模拟仍有较好的工程精度。

6. The probability of the event predicted can be given by Markov Model. The precision is satisfiable.

经检验，两模型可预测流域旱涝灾害发生的时间及其概率，并具有较高的精度。

http://www.chazidian.com

7. CBIR is a core technique of image database system. The main obstacle facing content-based image database is that the retrieval effectiveness is not satisfiable.

目前，基于内容的图像数据库检索已成为图像数据库研究的主流，其核心是基于内容的图像相似性检索。

8. But after over ten years development, the whole performance of the listed companies of Chongqing is not satisfiable .

然而十几年过去了，重庆上市公司的整体绩效却令人堪忧。

9. That means all of the layouts produce a nonambiguous, satisfiable layout along the horizontal axis.

这说明所有的布*在水平轴方向上都产生一个清晰的，满足的布*。

12. Two subsystems have been unitarily tested and debugged, the result of testing is satisfiable: work stably, well display and playback effect.

所设计的两个子系统已经过联合调试，工作稳定，并且取得了良好的显示和播放效果。

14. It still produces a unambiguous, satisfiable layout.

它还是生成一个清晰满足的布*。

www.blogs8.cn

15. It still produces a unambiguous, satisfiable layout.

它还是生成一个清晰满足的布*。

www.blogs8.cn

16.It is a very feasible operation with relatively invasive procedure and satisfiable functional recovery. It is effective treatment we strongly recommend.

闭合穿钉内固定治疗不稳定性胫骨骨折,其手术方法简便易行,手术损伤小,功能恢复满意,是一个效果确实值得推广的方法.

19.Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable.

给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。