Solving the SAT problem using a DNA computing algorithm based on ligase chain reaction. - Xiaolong Wang; Zhenmin Bao; Jingjie Hu; Shi Wang; Aibin Zhan (Biosyst., 2008)