Solution of a 20-Variable 3-SAT Problem on a DNA Computer Braich Chelyapov Johnson Rothemund Adleman
A Random Walk DNA Algorithm for the 3-SAT Problem Liu Gao Zhang Xu Zhu Liu Xu