Solving satisfiability problems using a novel microarray-based DNA computer. - Che-Hsin Lin; Hsiao-Ping Cheng; Chang-Biau Yang; Chia-Ning Yang (Biosyst., 2007)