华中科技大学学报（自然科学版）2009，Vol.37Issue(7)：75-78,4.
可满足性问题的闭环DNA算法
Closed circle DNA algorithm for SAT problem
摘要
关键词
可满足性问题/闭环DNA计算模型/过滤算法/删除实验/接入实验Key words
SAT(satisfiability)problem/closed circle DNA computing model/filtering algorithm/delete experiment/insert experiment分类
信息技术与安全科学引用本文复制引用
周康,魏传佳,刘朔,王防修..可满足性问题的闭环DNA算法[J].华中科技大学学报（自然科学版）,2009,37(7):75-78,4.基金项目
国家自然科学基金资助项目(60574041) （60574041）
湖北省自然科学基金资助项目(2007ABA407,2005ABA233) （2007ABA407,2005ABA233）
湖北省优秀中青年科技创新团队计划资助项目 （）
湖北省教育厅A类项目(200413005) （200413005）
湖北省教育厅重点科研项目(D20091805). （D20091805）
