An ordinary differential equation method is proposed for solving the CNF-satisfiabilityproblem,By assuming the C conjecture,the method has been proved to be a highly efficientprobabilistic one.

• 为CNF－SAT问题的求解提出了常微分方程方法，在C猜想的假设下证明了此方法为高效率的概率算法。