satisfiable
推荐文章
adj.
可以满足的；
英英释义
satisfiable[ 'sætisfaiəbl ]
adj.capable of being sated
同义词：satiable
权威例句
Generating Satisfiable Problem InstancesApproximating 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
1. In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable .
在这后一种情况下，我们可以说，是不可满足的功能，否则它是满足的。
danci.911cha.com
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.
我想检查是否存在唯一真理的分配（即只有一个组合）的表达是可满足的。
www.4byte.cn
3. The example still has two views, four horizontal constraints, and four vertical constraints. It still produces a nonambiguous, satisfiable layout.
该示例依旧有两个视图，四个水平约束，以及四个垂直约束。它还是生成一个清晰满足的布局。
www.blogs8.cn
4. When number of variables is not big, computing result of the satisfiable probability is consistent with the previous facts.
对较小的变量数计算了可满足概率，所得的结论与以往的结果一致。
danci.911cha.com
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.
结果表明：大涡模拟技术可以得到发动机内湍流流场中详细拟序结构，时均湍流模拟对于火箭发动机内流场时均量的模拟仍有较好的工程精度。
dict.cnki.net
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.
目前，基于内容的图像数据库检索已成为图像数据库研究的主流，其核心是基于内容的图像相似性检索。
dict.cnki.net
8. But after over ten years development, the whole performance of the listed companies of Chongqing is not satisfiable .
然而十几年过去了，重庆上市公司的整体绩效却令人堪忧。
danci.911cha.com
9. That means all of the layouts produce a nonambiguous, satisfiable layout along the horizontal axis.
这说明所有的布局在水平轴方向上都产生一个清晰的，满足的布局。
www.blogs8.cn
10. Inspired by this fact, we introduce a new SAT solver based on finding satisfiable 2-SAT sub problem.
基于这个思想本文设计了一个通过寻找可满足2-SAT子问题来求解SAT的算法。
www.fabiao.net
11. This paper mainly analysis theory base and testing data of design rebuild for agitator, select rational parameters economical and satisfiable.
本文主要分析混合槽设计改造的理论基础及试验数据，与生产实践相结合，选择既经济又 能满足生产要求 的合理化参数。
dj.iciba.com
12. Two subsystems have been unitarily tested and debugged, the result of testing is satisfiable: work stably, well display and playback effect.
所设计的两个子系统已经过联合调试，工作稳定，并且取得了良好的显示和播放效果。
www.fabiao.net
13. A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable.
一个公式是极小不可满足的是指该公式本身不可满足，而且从中删去任意一个子句后得到的公式可满足。
dj.iciba.com
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.
闭合穿钉内固定治疗不稳定性胫骨骨折,其手术方法简便易行,手术损伤小,功能恢复满意,是一个效果确实值得推广的方法.
-- 来源 -- www8.tianya.cn
17. satisfiable needs and desires.
能够满足的需要和愿望
-- 来源 -- 英汉 - 短句参考
18. satisfiable formula
可满足公式
-- 来源 -- 英汉 - 翻译参考[网络]
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.
给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
-- 来源 -- 网友提供
satisfiable
