Solving the SAT problem using a DNA computing algorithm based on ligase chain reaction

Xiaolong Wang, Zhenmin Bao, Jingjie Hu, Shi Wang, Aibin Zhan. Solving the SAT problem using a DNA computing algorithm based on ligase chain reaction. Biosystems, 91(1):117-125, 2008. [doi]

Abstract

Abstract is missing.