助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   单位子句 的翻译结果: 查询用时:0.305秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

单位子句
相关语句
  “单位子句”译为未确定词的双语例句
     We prove that Maximum bounded satisfiability for Horn function is MAX SNP-hard,even when the formula is restricted to either (1) being quadratic or (2) having exactly one complement variable in each nonunit clause. This means that neither case has a polynomial time approximation scheme (PTAS) unless P=NP.
     本文证明了 Horn函数的极大可满足性即使是限制在如下两种情况中的任何一种也是 MAX SNP困难的,第一种情况是每个公式都是二次的,第二种是公式中每一个非单位子句有且只有一个补元,这意味着在这档两种情况下没有多项式的近似算法,除非P=NP.
短句来源
  相似匹配句对
     Photosynthetic unit
     光合单位
短句来源
     News in brief of executive council member units
     理事单位简讯
短句来源
     is empty clause.
     代表空子句
短句来源
     Section 3 consists of formulas and clauses.
     第三节是公式和子句
短句来源
查询“单位子句”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  unit clause
UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
      
The two approaches we use are local search (which is used in many SAT algorithms, e.g., in GSAT [34] and WalkSAT [33]) and unit clause elimination (which is rarely used in local search algorithms).
      
Namely, we consider two DPLL-type algorithms, enhanced with the unit clause and pure literal heuristics.
      
A unit clause is a clause containing a single literal.
      
If bucketp contains a unit clause, perform only unit resolution.
      
更多          


没有找到相关文摘
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关单位子句的内容
在知识搜索中查有关单位子句的内容
在数字搜索中查有关单位子句的内容
在概念知识元中查有关单位子句的内容
在学术趋势中查有关单位子句的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社