How has 3SAT been addressed with a DNA computer? Can we use those methods?

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