Molecular Computation Models in ACL2: A Simulation of Lipton's SAT Experiment in the Adleman's Restricted Model

Thu, 01/10/2008 - 13:06 — ana

Title	Molecular Computation Models in ACL2: A Simulation of Lipton's SAT Experiment in the Adleman's Restricted Model
Publication Type	Conference Contributions
Year of Publication	2002
Authors	Martín-Mateos, F. J., Pérez-Jiménez M. J., & Sancho-Caparrini F.
Conference Name	Third International Workshop on the ACL2 Theorem Prover and its Applications
Volume Title	Third International Workshop on the ACL2 Theorem Prover and its Applications
Place Published	Grenoble, Francia
Pages	175-187
Date Published	April 8-9

Attachment	Size
Molecular Computation Models in ACL2.pdf	101.21 KB

Research Group on Natural Computing