TY - RPRT TI - Solving satisfiability problems using a novel microarray-based DNA computer. AU - Che-Hsin Lin AU - Hsiao-Ping Cheng AU - Chang-Biau Yang AU - Chia-Ning Yang PY - 2006 DO - 10.1016/j.biosystems.2006.08.009 UR - https://pubmed.ncbi.nlm.nih.gov/17029765/ ID - 17029765 ER -