Implementation of a Random Walk Method for Solving 3-SAT on Circular DNA Molecules Book chapter (January 2003)