Development of an in vivo computer for the SAT problem

Biomolecular computing models in vivo are emerging computing model inspired by the biological phenomena whereby biochemical molecules in living organisms perform computation, communication, and signal processing collaboratively. In this paper, a biomolecular computing model in vivo for solving the SAT problem is presented. A synthetic gene network is constructed by operon in Escherichia coli. This model explores the ability to solve hard problems based on the organism processing signals.