英语语法分析

Let's assume the problem is satisfiable.

让我们假定这个问题是可满足的。

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

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

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

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