Kevin Chen, Vijay Ramachandran. A Space-Efficient Randomized DNA Algorithm for 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 199-208, Springer, 2000. [doi]
Abstract is missing.