您要查找的是不是：
- resolution refutation system [计] 归结反演系统
- production system for resolution refutation 归结反演的产生式系统
- A SAT algorithm can determine whether any given CNF formula is satisfiable in limited time. DPLL algorithm and resolution refutation are two key methods resolving SAT problems. 一个SAT算法能在有限时间内判定任意给定的CNF公式是否可满足，DPLL算法和消解反驳法是判定SAT问题的两个重要方法。
- SAT algorithm can determine whether any given CNF formula is satisfiable in limited time.DPLL algorithm and resolution refutation are two key methods resolving SAT problems. 一个SAT算法能在有限时间内判定任意给定的CNF公式是否可满足，DPLL算法和消解反驳法是判定SAT问题的两个重要方法。
- On the basis of the comprehensive study of various visualization methods and principles of resolution refutation, the visual system for resolution refutation was realized in the paper. 论文工作是在综合研究各种可视化方法和归结原理的基础上,实现了归结反演可视化系统。
- completeness of resolution refutation strategy 归结反演策略的完整性
- control strategy for resolution refutation 对归结反演系统的控制策略
- Nothing can unsettle his resolution. 什么也动摇不了他的决心。
- He made a resolution never to repeat the act. 他决心不再采取那种行动。
- I acutely and resolutely refuted the brutal persecution of mute commuter. 我尖锐而坚决反驳默默的通勤者的野蛮的迫害。
- I suppose you also have a caste system in your society. 我想你们的社会里也有一种等级制度。
- The right to dissent is part of our political system. 有持异议的权利是我们政治体制的组成部分。
- He moved a resolution in the meeting. 他在会议上提出了一个决议。
- The resolution was accepted unanimously. 该项决议得到与会者一致的认可。
- Do you know how to log in to the system? 你知道怎么登录进入这个系统吗？
- Public opinion was against the old feudal system. 公众舆论反对旧的封建制度。
- Meanwhile, it is necessary to resolutely refute the reactionary, destructive theory of agricultural socialism. 同时要对农业社会主义的反动性和破坏性作坚决的斗争。
- The system works on the principle that heat rises. 该项装置是按照热力上升的原理运转的。
- He is a man of great resolution. 他是一个极其果断的人。
- The drainage system has been aged. 排水系统已经老化了。
