On the computational power of DNA

Dan Boneh,Christopher Dunworth,Richard J. Lipton,Jir̆í Sgall
DOI: https://doi.org/10.1016/s0166-218x(96)00058-3
IF: 1.254
1996-12-01
Discrete Applied Mathematics
Abstract:We show how DNA-based computers can be used to solve the satisfiability problem for boolean circuits. Furthermore, we show how DNA computers can solve optimization problems directly without first solving several decision problems. Our methods also enable random sampling of satisfying assignments.
mathematics, applied
What problem does this paper attempt to address?