助手标题
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
共[1]页 共[6]条 当前为第1条到6条
 

相关语句
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.
      
The Unit rule propagates the consequence of a unit clause through the other clauses in a configuration.
      
 

首页上一页1下一页尾页 

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