Sergio Díaz, Juan Luis Esteban, Mitsunori Ogihara. A DNA-Based Random Walk Method for Solving k-SAT. In Anne Condon, Grzegorz Rozenberg, editors, DNA Computing, 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers. Volume 2054 of Lecture Notes in Computer Science, pages 209-219, Springer, 2000. [doi]
Abstract is missing.