Clifford R. Johnson. Automating the DNA Computer: Solving n-Variable 3-SAT Problems. In Chengde Mao, Takashi Yokomori, editors, DNA Computing, 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers. Volume 4287 of Lecture Notes in Computer Science, pages 360-373, Springer, 2006. [doi]
Abstract is missing.