计算机工程与科学2021，Vol.43Issue(9)：1529-1537,9.DOI:10.3969/j.issn.1007-130X.2021.09.002
基于DNA折纸术求解可满足性问题的计算模型
A computational model for satisfiability problem based on DNA origami
摘要
关键词
DNA折纸术/分子信标/可满足性问题/模型仿真分类
信息技术与安全科学引用本文复制引用
王欣怡,殷志祥,唐震,杨静,崔建中..基于DNA折纸术求解可满足性问题的计算模型[J].计算机工程与科学,2021,43(9):1529-1537,9.基金项目
国家自然科学基金(62072296,61672001,61702008,11801362) （62072296,61672001,61702008,11801362）
安徽省自然科学基金(1808085MF193) （1808085MF193）
安徽高校自然科学研究(KJ2019A0538) （KJ2019A0538）
军委科技委前沿创新计划(18-163-ZT-005-009-01) （18-163-ZT-005-009-01）
