satisfiable信息详情
adj.可以满足的;可使满足的
unsatisfying gif───不满意的gif
oddly satisfying hair───奇怪的令人满意的头发
satisfactory solution───满意解
satisfaction 75───满意度75
satisfactorily completed───圆满完成
progressing satisfactorily───进展顺利
dissatisfactory define───不满意定义
unsatisfied───adj.不满意的;未得到满足的
self-satisfied definition───自我满足的定义
dissatisfactory song───不满意的歌
In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable.───在这后一种情况下,我们可以说,是不可满足的功能,否则它是满足的。
Let's assume the problem is satisfiable.───让我们假定这个问题是可满足的。
probability of the event predicted can be given by Markov Model. The precision is satisfiable.───模型可预测流域旱涝灾害发生的时间及其概率,并具有较高的精度。
Two subsystems have been unitarily tested and debugged, the result of testing is satisfiable: work stably, well display and playback effect.───所设计的两个子系统已经过联合调试,工作稳定,并且取得了良好的显示和播放效果。
The satisfiable degree function was presented to evaluate to personnel satisfied degree.───对于问题二,给出了满意度函数用来评价公众满意程度。
As a result, the satisfiable degree values of the given methods were also greater titan 95%.───结果表明两种预报方法公众的满意度都在95%以上。
Inspired by this fact, we introduce a new SAT solver based on finding satisfiable 2-SAT sub problem.───基于这个思想本文设计了一个通过寻找可满足2-SAT子问题来求解SAT的算法。
It is difficult to develop a satisfiable testing tool. Most tools only work for one or several program language.───软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的。
If we can re-identify particulars , then we have satisfiable criteria on the basis of which we can make re-identification.───如果我们能再次识别特定物,那么我们拥有基于其作出再次识别的可满足的标准。