Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published April 19, 2002 | Supplemental Material
Journal Article Open

Solution of a 20-Variable 3-SAT Problem on a DNA Computer


A 20-variable instance of the NP-complete three-satisfiability (3-SAT) problem was solved on a simple DNA computer. The unique answer was found after an exhaustive search of more than 1 million (220) possibilities. This computational problem may be the largest yet solved by nonelectronic means. Problems of this size appear to be beyond the normal range of unaided human computation.

Additional Information

© 2002 American Association for the Advancement of Science. 3 January 2002; accepted 5 March 2002. Published online 14 March 2002; 10.1126/science.1069528. We gratefully acknowledge the contributions of M. Goodman, A. Soltani, D. Hwang, L. Kari, N. Chelyapov Jr., and the members of the Laboratory for Molecular Science. Supported by grants from NASA/Jet Propulsion Laboratory, the Defense Advanced Research Projects Agency, the Office of Naval Research, and NSF.

Attached Files

Supplemental Material - 1069528S1_med.gif


Files (76.3 kB)
Name Size Download all
76.3 kB Preview Download

Additional details

August 19, 2023
October 18, 2023