On solving 3CNF-satisfiability with an in vivo algorithm

BioSystems

Volumn 52, Issue 1-3, 1999, Pages 135-141

  Eng, Tony L ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Biological computation; DNA computation; In vivo algorithms

Indexed keywords

ALGORITHM; ARTICLE; DNA DETERMINATION; GENE CONTROL; GENE TECHNOLOGY; GENETIC TRANSCRIPTION; MOLECULAR GENETICS;

EID: 0032722088     PISSN: 03032647     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0303-2647(99)00040-4     Document Type: Article

References (18)

1. Adleman L. Molecular computation of solutions to combinatorial problems. Science. 266:1994;1021-1024.
2. Bach, E., Condon, A., Glaser, E., Tanguay, C., 1996. DNA Models and Algorithms for NP-complete Problems. Proceedings of the 11th Annual IEEE Conference on Computational Chemistry, May 1996.
3. Baum, E. 1996. DNA sequences useful for computation, 2nd Annu. Meeting DNA Based Computers, Princeton University, 1996, pp. 122-127.
4. Baker, T. 1998. NIIT Biology Department, personal communication.
5. Beaver, D., 1995. Computing with DNA., J. Computat. Biol. 2(1).
6. Bell, S., 1998. NIIT Biology Department, personal communication.
7. Boneh, D., 1996. Making DN A Computers Error Resistant, Princeton CS-TechReport number CS-TR-491-95.
8. Boneh, D., Dunworth, D., Lipton, R., 1995a. Breaking DES using a molecular computer, Princeton CS-Tech-Report number CS-TR-489-95.
9. Boneh, D., Dunworth, C., Lipton, R., Sgall, J., 1996. On the Computational Power of DNA, Princeton CS-Tech-Report number CS-TR-499-9.
10. Boneh, D., Lipton, R., Sgall, J., 1995b. Error Resistant and Uniform DNA Computers, July 7, 1995.
11. Cormen, T., Leiserson, C., Rivest, R., 1990, Introduction to Algorithms. MIT Press.
12. Eng, T. 1996. Memo: Biological Switches, unpublished manuscript, 1996.
13. Grossman, A. 1998. NIIT Biology Department, personal communication.
14. Kornberg, A., Baker. T., 1992, DNA Replication, 2nd ed., W.H. Freeman.
15. Lipton R. DNA solution of hard computational problems? Science. 268:1995;542-545.
16. Lipton R. Using DNA to solve NP-complete problems. Science. 268:1995;542-545.
17. Pluck A. Conditional mutagenesis in mice: the Cre/LoxP Recombination System. Int. J. Exp. Pathol. 77:1996;269-278.
18. Smith. W., Schweitzer, A., 1995. DNA computers in vitro and vivo., EC Research Inst. Technical Report, 95-057-3-0058, 1995.