Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms.

Masami Hagiya John A. Rose Ken Komiya Kensaku Sakamoto Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms. 59-71 2002 287 Theor. Comput. Sci. 1 db/journals/tcs/tcs287.html#HagiyaRKS02