Molecular Computation Models in ACL2: A Simulation of Lipton's SAT Experiment in the Adleman's Restricted Model
| 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 (PAI - TIC 193)
Department of Computer Science and Artificial Intelligence
University of Seville
Webmasters: the members of the RGNC
| Follow us: |  |
 |
|
Featured News: |
|
Mario J. Pérez-Jiménez in the top 2% of scientists of the World |
|
Agustín became Full Professor |
|
Science names our most recent research project |