Aqueous Computing: A Survey with an Invitation to Participate

The concept of aqueous computing ispresented here, first in full generality, and afterward, using animplementation in a specific enzymatic technology. Aqueous computingarose in the context of biomolecular (DNA) computing, but the concept isindependent of the specifics of its biochemical origin. Alternatetechnologies for realizing aqueous computing are being considered forfuture implementation. A solution of an instance of the Booleansatisfiability problem, (SAT), is reported here that provides a newexample of an aqueous computation that has been carried outsuccessfully. This small instance of the SAT problem issufficiently complex to allow our current enzymatic technology to beillustrated in detail. The reader is invited to participate in the richinterdisciplinary activity required by wet lab computing. A project issuggested to the reader for determining the three-colorings of a graph.The basic operations required for this project are exhibited in thesolution of the SAT example reported here.