When number of variables is not big, computing result of the satisfiable probability is consistent with the previous facts.
对较小的变量数计算了可满足概率，所得的结论与以往的结果一致。
When number of variables is not big, computing result of the satisfiable probability is consistent with the previous facts.
对较小的变量数计算了可满足概率，所得的结论与以往的结果一致。
应用推荐