Complexity analysis of the SAT engine: D
✍
Masami Hagiya; John A. Rose; Ken Komiya; Kensaku Sakamoto
📂
Article
📅
2002
🏛
Elsevier Science
🌐
English
⚖ 123 KB
Taking advantage of the power of DNA molecules to spontaneously form hairpin structures, Sakamoto et al. designed a molecular algorithm to solve instances of the satisÿability problem on Boolean expressions in clausal form (the SAT problem), and by developing new experimental techniques for molecula