计算机工程与应用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
摘要
关键词
资源独立约束/打破对称/模式/匹配分类
信息技术与安全科学引用本文复制引用
翟治年,卢亚辉,周武杰,彭艳斌,郑志军,俞坚,丰明坤..*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)