...nalysis, Boolean formula, 3CNF, refutation, [gap=322]关键词和短语：证明的复杂性，一般情况下分析，布尔公式，3CNF，反驳， ...
基于202个网页-相关网页
...有一个有限个数元素的子句集合(记作) S 并且S中不含有变数(符号),如果S是不可满足的集合，那么S必定拥有一个 驳斥 ( Refutation ) b) 驳斥 ( Refutation )的定义: 一个子句集合S的 驳斥 是一个通过应用衍生方法产生的一系列子句
基于134个网页-相关网页
refutation tree [计] 反驳树 ; [计] 反演树 ; 翻译
the refutation hook 驳斥鱼钩
refutation process 反驳过程 ; 反演过程 ; 翻译
resolution-refutation graph 分解反驳图 ; 翻译
refutation of argument ground 反驳论据
refutation graph 反演图 ; 反驳图 ; 分解反驳图
concession and refutation 让步与反驳
refutation strategy [计] 反演策略 ; 反演策略英语
Refutation Hook 驳斥鱼钩
·2,447,543篇论文数据，部分数据来源于NoteExpress
"his refutation of the charges was short and persuasive"
同义词： disproof falsification
以上来源于: WordNet
N-VAR A refutation of an argument, accusation, or theory is something that proves it is wrong or untrue. (对观点、指责或理论的)驳斥; 反驳 [正式]
He prepared a complete refutation of the Republicans' most serious charges.
他准备全面反驳共和党人对他最严重的指控。
应用推荐