| 注册
首页|期刊导航|计算机工程与应用|*WS-RI增量模式回溯的边界收缩加速

*WS-RI增量模式回溯的边界收缩加速

翟治年 卢亚辉 周武杰 彭艳斌 郑志军 俞坚 丰明坤

计算机工程与应用2020,Vol.56Issue(24):236-241,6.
计算机工程与应用2020,Vol.56Issue(24):236-241,6.DOI:10.3778/j.issn.1002-8331.2005-0204

*WS-RI增量模式回溯的边界收缩加速

Acceleration of Boundary Shrinking in Incremental Pattern Backtracking for *WS-RI

翟治年 1卢亚辉 2周武杰 1彭艳斌 3郑志军 1俞坚 1丰明坤1

作者信息

  • 1. 浙江科技学院 信息与电子工程学院,杭州 310023
  • 2. 深圳大学 计算机与软件学院,广东 深圳 518060
  • 3. 浙江大学 信息与电子工程学院,杭州 310027
  • 折叠

摘要

关键词

资源独立约束/打破对称/模式/匹配

分类

信息技术与安全科学

引用本文复制引用

翟治年,卢亚辉,周武杰,彭艳斌,郑志军,俞坚,丰明坤..*WS-RI增量模式回溯的边界收缩加速[J].计算机工程与应用,2020,56(24):236-241,6.

基金项目

国家自然科学基金(No.61972357,No.61672337,No.61572163) (No.61972357,No.61672337,No.61572163)

浙江省重点研发计划(No.2019C03135) (No.2019C03135)

浙江省自然科学基金(No.LY18F020012,No.LY17F050005) (No.LY18F020012,No.LY17F050005)

浙江省公益计划(No.LGF18F020010) (No.LGF18F020010)

浙江省教育厅科研项目(No.Y201737476). (No.Y201737476)

计算机工程与应用

OA北大核心CSCDCSTPCD

1002-8331

访问量0
|
下载量0
段落导航相关论文