Restricted on the proof of unsatisfiability of unsatisfiable formulas,a modified DPLL—RSMLS algorithm is presented.
限制在不足公式的不足性的证,给出了一个改进的DPLL算法—RSMLS。
Restricted on the proof of unsatisfiability of unsatisfiable formulas,a modified DPLL—RSMLS algorithm is presented.
限制在不足公式的不足性的证,给出了一个改进的DPLL算法—RSMLS。
:上例句、词性分类均由互联网资源自动生成,部分经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。