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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have