...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 反演图 ; 反驳图 ; 分解反驳图
refutation strategy [计] 反演策略
concession and refutation 让步与反驳
self-refutation 自我反驳
·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.
他准备全面反驳共和党人对他最严重的指控。
应用推荐