DNA运算
布尔可满足性问题
计算问题
计算复杂性理论
计算机科学
哈密顿路
可满足性
可扩展性
时间复杂性
核酸外切酶
集合(抽象数据类型)
算法
理论计算机科学
数学
DNA
DNA聚合酶
化学
计算
数据库
图形
生物化学
程序设计语言
作者
Qinghua Liu,Liman Wang,Anthony G. Frutos,Anne Condon,Robert M. Corn,Lloyd M. Smith
出处
期刊:Nature
[Springer Nature]
日期:2000-01-01
卷期号:403 (6766): 175-179
被引量:525
科研通智能强力驱动
Strongly Powered by AbleSci AI