unsatisfiable

/'ʌn'sætisfaiəbl/

生词本：添加笔记：

有奖纠错

adj. 未可满足的,未能偿还的

adj.

finite有限的;satisfy令人满意;insatiable不知足的;constraint约束;unsatisfied不满足的;predicate断言;craving热望;recursive

归的,递归的;theorem定理;axiom公理;integer整数;

Restricted on the proof of unsatisfiability of unsatisfiable formulas，a modified DPLL—RSMLS algorithm is presented.

限制在不可满足公式的不可满足性的证，了一个改进的DPLL算法—RSMLS。

声：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。

译

赞助商链接