{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T13:23:53Z","timestamp":1773321833487,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540420767","type":"print"},{"value":"9783540449928","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44992-2_3","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T14:35:31Z","timestamp":1192890931000},"page":"27-42","source":"Crossref","is-referenced-by-count":59,"title":["Solution of a satisfiability problem on a gel-based DNA computer"],"prefix":"10.1007","author":[{"given":"Ravinderjit S.","family":"Braich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cliff","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul W. K.","family":"Rothemund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darryl","family":"Hwang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nickolas","family":"Chelyapov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonard M.","family":"Adleman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,4,25]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"266","author":"L. M. Adleman","year":"1994","unstructured":"Leonard M. Adleman. Molecular computation of solutions to combinatorial problems. Science, 266:1021\u20131024, November 11, 1994.","journal-title":"Science"},{"key":"3_CR2","first-page":"17","volume":"218","author":"R. J. Lipton","year":"1996","unstructured":"Richard J. Lipton. DNA solution of hard computational problems. Science, 218:17\u201326, 1996","journal-title":"Science"},{"key":"3_CR3","series-title":"DIMACS: Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1090\/dimacs\/027\/04","volume-title":"DNA Based Computers: Proceedings of a DIMACS Workshop, April 4, 1995, Princeton University","author":"D. Boneh","year":"1996","unstructured":"Dan Boneh, Christopher Dunworth, and Richard J. Lipton. Breaking DES using a molecular computer. In Richard J. Lipton and Eric B. Baum, editors, DNA Based Computers: Proceedings of a DIMACS Workshop, April 4, 1995, Princeton University, volume 27 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, pages 37\u201365, Providence, RI, 1996. American Mathematical Society."},{"issue":"1","key":"3_CR4","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1089\/cmb.1999.6.53","volume":"6","author":"L. M. Adleman","year":"1999","unstructured":"Leonard M. Adleman, Paul W. K. Rothemund, Sam Roweis, and Erik Winfree. On applying molecular computation to the data encryption standard. Journal of Computational Biology, 6(1):53\u201363, 1999.","journal-title":"Journal of Computational Biology"},{"key":"3_CR5","series-title":"DIMACS: Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1090\/dimacs\/044\/06","volume-title":"DNA Based Computers II: DIMACS Workshop, June 10\u201312, 1996","author":"N. Jonoska","year":"1998","unstructured":"N. Jonoska and S. A. Karl. A molecular computation of the road coloring problem. In Laura F. Landweber, editors. DNA Based Computers II: DIMACS Workshop, June 10\u201312, 1996, volume 44 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science., Providence, RI, 1998. American Mathematical Society Baum and Landweber [25], pages 87\u201396."},{"key":"3_CR6","series-title":"DIMACS: Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1090\/dimacs\/044\/16","volume-title":"DNA Based Computers II: DIMACS Workshop, June 10\u201312, 1996","author":"E. Winfree","year":"1998","unstructured":"Erik Winfree, Xiaoping Yang, and Nadrian C. Seeman. Universal computation via self-assembly of DNA: Some theory and experiments. In Laura F. Landweber, editors. DNA Based Computers II: DIMACS Workshop, June 10\u201312, 1996, volume 44 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science., Providence, RI, 1998. American Mathematical Society Baum and Landweber [25], pages 191\u2013213."},{"key":"3_CR7","unstructured":"Erik Winfree. Whiplash PCR for O(1) computing. In Proceedings of the 4th DIMACS Meeting on DNA Based Computers, held at the University of Pennsylvania, June 16\u201319, 1998, pages 175\u2013188."},{"key":"3_CR8","series-title":"DIMACS: Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1090\/dimacs\/044\/12","volume-title":"DNA Based Computers II: DIMACS Workshop, June 10\u201312, 1996","author":"M. Amos","year":"1998","unstructured":"Martyn Amos, Alan Gibbons, and David Hodgson. Error-resistant implementation of DNA computations. In Laura F. Landweber, editors. DNA Based Computers II: DIMACS Workshop, June 10\u201312, 1996, volume 44 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science., Providence, RI, 1998. American Mathematical Society Baum and Landweber [25], pages 151\u2013161."},{"key":"3_CR9","unstructured":"Michail G. Lagoudakis and Thomas H. LaBean. 2-D DNA self-assembly for satisfiability. In Proceedings of the 5 th DIMACS Meeting on DNA Based Computers, held at the Massachusetts Institute of Technology, June 14\u201315, 1999, pages 139\u2013152."},{"issue":"5272","key":"3_CR10","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1126\/science.273.5272.220","volume":"273","author":"F. Guarnieri","year":"1996","unstructured":"F. Guarnieri, M. Fliss, and Carter Bancroft. Making DNA add. Science, 273(5272):220\u2013223, 1996.","journal-title":"Science"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1126\/science.278.5337.446","volume":"278","author":"Q. Ouyang","year":"1997","unstructured":"Q. Ouyang, P. D. Kaplan, L. Shumao, and A. Libchaber. DNA solution of the maximal clique problem. Science, 278:446\u2013449, 1997.","journal-title":"Science"},{"key":"3_CR12","series-title":"DIMACS: Series in Discrete Mathematics and Theoretical Computer Science","first-page":"83","volume-title":"DNA Based Computers III: DIMACS Workshop, June 23\u201325","author":"N. Morimoto","year":"1997","unstructured":"Nobuhiko Morimoto, Masanori Arita, and Akira Suyama. Solid phase DNA solution to the Hamiltonian Path Problem. In David Harlan Wood, editors. DNA Based Computers III: DIMACS Workshop, June 23\u201325, 1997, volume 48 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science., Providence, RI, 1999. American Mathematical Society Rubin and Wood [24], pages 83\u2013101."},{"key":"3_CR13","series-title":"DIMACS: Series in Discrete Mathematics and Theoretical Computer Science","first-page":"159","volume-title":"DNA Based Computers III: DIMACS Workshop, June 23\u201325","author":"T. H. Leete","year":"1997","unstructured":"Thomas H. Leete, Joshua P. Klein, and Harvey Rubin. Bit operations using a DNA template. In David Harlan Wood, editors. DNA Based Computers III: DIMACS Workshop, June 23\u201325, 1997, volume 48 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science., Providence, RI, 1999. American Mathematical Society Rubin and Wood [24], pages 159\u2013171."},{"key":"3_CR14","unstructured":"Kensaku Sakamoto, Daisuke Kiga, Ken Komiya, Hidetaka Gouzu, Shigeyuki Yokoyama, Shuji Ikeda, Hiroshi Sugiyama, and Masami Hagiya. State transitions by molecules. In Proceedings of the 4 th DIMACS Meeting on DNA Based Computers, held at the University of Pennsylvania, June 16\u201319, 1998, pages 87\u201399."},{"key":"3_CR15","unstructured":"Julia Khodor and David K. Gifford. Design and implementation of computational systems based on programmed mutagenesis. In Proceedings of the 4 th DIMACS Meeting on DNA Based Computers, held at the University of Pennsylvania, June 16\u201319, 1998, pages 101\u2013107."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Dirk Faulhammer, A. R. Cukras, Richard J. Lipton, and Laura F. Landweber. When the knight falls: On constructing an RNA computer. In Proceedings of the 5 th DIMACS Meeting on DNA Based Computers, held at the Massachusetts Institute of Technology, June 14\u201315, 1999, pages 1\u20137.","DOI":"10.1090\/dimacs\/054\/01"},{"key":"3_CR17","unstructured":"Junghei Chen, Eugene Antipov, Bertrand Lemieux, Walter Cede\u00f1o, and David Harlan Wood. In vitro selection for a Max 1s DNA genetic algorithm. In Proceedings of the 5 th DIMACS Meeting on DNA Based Computers, held at the Massachusetts Institute of Technology, June 14\u201315, 1999, pages 23\u201337."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"H. Yoshida and A. Suyama. Solution to 3-SAT by breadth first search. In Proceedings of the 5 th DIMACS Meeting on DNA Based Computers, held at the Massachusetts Institute of Technology, June 14\u201315, 1999, pages 9\u201320.","DOI":"10.1090\/dimacs\/054\/02"},{"key":"3_CR19","unstructured":"Masahito Yamamoto, Jin Yamashita, Toshikazu Shiba, Takuo Hirayama, Shigeharu Takiya, Keiji Suzuki, Masanabu Munekata, and Azuma Ohuchi. A study on the hybridization process in DNA computing. In Proceedings of the 5 th DIMACS Meeting on DNA Based Computers, held at the Massachusetts Institute of Technology, June 14\u201315, 1999, pages 99\u2013108."},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1038\/35001232","volume":"403","author":"Q. Liu","year":"2000","unstructured":"Q. Liu, L. Wang, A. G. Frutos, A. E. Condon, R. M. Corn, and L. M. Smith. DNA computing on surfaces. Nature, 403:175\u2013179, 2000.","journal-title":"Nature"},{"issue":"4","key":"3_CR21","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1089\/cmb.1998.5.615","volume":"5","author":"S. Roweis","year":"1998","unstructured":"Sam Roweis, Erik Winfree, Richard Burgoyne, Nickolas V. Chelyapov, Myron F. Goodman, Leonard M. Adleman, and Paul W. K. Rothemund. A sticker-based model for DNA computation. Journal of Computational Biology, 5(4):615\u2013629, 1998.","journal-title":"Journal of Computational Biology"},{"key":"3_CR22","series-title":"DIMACS: Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1090\/dimacs\/044\/19","volume-title":"DNA Based Computers II: DIMACS Workshop, June 10\u201312, 1996","author":"K. Mir","year":"1998","unstructured":"Kalim Mir. A restricted genetic alphabet for DNA computing. In Laura F. Landweber, editors. DNA Based Computers II: DIMACS Workshop, June 10\u201312, 1996, volume 44 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science., Providence, RI, 1998. American Mathematical Society Baum and Landweber [25], pages 243\u2013246."},{"key":"3_CR23","unstructured":"A. R. Cukras, Dirk Faulhammer, Richard J. Lipton, and Laura F. Landweber. Chess games: A model for RNA-based computation. In Proceedings of the 4th DIMACS Meeting on DNA Based Computers, held at the University of Pennsylvania, June 16\u201319, 1998, pages 27\u201337."},{"key":"3_CR24","series-title":"DIMACS: Series in Discrete Mathematics and Theoretical Computer Science","volume-title":"DNA Based Computers III: DIMACS Workshop, June 23\u201325, 1997","year":"1999","unstructured":"Harvey Rubin and David Harlan Wood, editors. DNA Based Computers III: DIMACS Workshop, June 23\u201325, 1997, volume 48 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science., Providence, RI, 1999. American Mathematical Society."},{"key":"3_CR25","series-title":"DIMACS: Series in Discrete Mathematics and Theoretical Computer Science","volume-title":"DNA Based Computers II: DIMACS Workshop, June 10\u201312, 1996","year":"1998","unstructured":"Eric B. Baum and Laura F. Landweber, editors. DNA Based Computers II: DIMACS Workshop, June 10\u201312, 1996, volume 44 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science., Providence, RI, 1998. American Mathematical Society."}],"container-title":["Lecture Notes in Computer Science","DNA Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44992-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:03:06Z","timestamp":1556920986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44992-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540420767","9783540449928"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-44992-2_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}