您要查找的是不是：
- completeness of resolution refutation strategy 归结反演策略的完整性
- resolution refutation strategy [计] 归结反演策略
- control strategy 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. 论文工作是在综合研究各种可视化方法和归结原理的基础上,实现了归结反演可视化系统。
- production system 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. 我尖锐而坚决反驳默默的通勤者的野蛮的迫害。
- He moved a resolution in the meeting. 他在会议上提出了一个决议。
- The resolution was accepted unanimously. 该项决议得到与会者一致的认可。
- Meanwhile, it is necessary to resolutely refute the reactionary, destructive theory of agricultural socialism. 同时要对农业社会主义的反动性和破坏性作坚决的斗争。
- He is a man of great resolution. 他是一个极其果断的人。
- Japan exercised her veto to block the resolution. 日本使用了否决权反对该项决议。
- The unexpected blow did not stagger his resolution. 这个意外的打击并没有动摇他的决心。
- Meanwhile,it is necessary to resolutely refute the reactionary,destructive theory of agricultural socialism. 同时要对农业社会主义的反动性和破坏性作坚决的斗争。
- The essence of all good strategy is simplicity. 一切优秀战略的精髓是简单。
- He is an expert in military strategy. 他是军事战略专家。
- He failed to get promoted for lack of resolution. 他因缺乏果断力而未能得到升迁。
