Sergio Díaz Juan Luis Esteban Mitsunori Ogihara A DNA-Based Random Walk Method for Solving k-SAT. 209-219 2000 conf/dna/2000 DNA Computing http://link.springer.de/link/service/series/0558/bibs/2054/20540209.htm db/conf/dna/dna2000.html#DiazEO00