In a DNA computation a select operation is used to separate DNA molecules with different sequences. The implementation of the select operation requires specialized hardware and non-standard modification of DNA molecules by adding e.g., magnetic beads to a primer sequence or using other methods to separate DNA in solution. In this paper we consider DNA computations which use enzymatic reactions and secondary structure formation to perform computations. We show that it is possible to implement an efficient (exponential-time) probabilistic algorithm to solve instances of the satisfiability problem on circular single stranded DNA. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Hug, H., & Schuler, R. (2003). Implementation of a random walk method for solving 3-SAT on circular DNA molecules. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2568, 133–142. https://doi.org/10.1007/3-540-36440-4_12
Mendeley helps you to discover research relevant for your work.