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。
明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件观点;若发现问题,欢迎向我们指正。