可满足性(SAT)问题的几种DNA计算模型

• Models of Sat Problem Based on DNA Computing