Presentation
Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT
| Author/s | Martín Mateos, Francisco Jesús
Alonso Jiménez, José Antonio Pérez Jiménez, Mario de Jesús
Sancho Caparrini, Fernando
|
| Department | Universidad de sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
| Publication Date | 2002 |
| Deposit Date | 2016-09-13 |
| Published in |
|
| Abstract | In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s
restricted model [2]. This is a first step to formalize unconventional models of computation
in ACL2. As an application of this ... |
| Funding agencies | Ministerio de Ciencia y Tecnología (MCYT). España |
| Project ID. | TIC2000-1368-CO3-02
 |
| Citation | Martín Mateos, F.J., Alonso Jiménez, J.A., Pérez Jiménez, M.d.J. y Sancho Caparrini, F. (2002). Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT. Recuperado de |
| Files | Size | Format | View | Description |
|---|---|---|---|---|
| 2002-ACL2-Adleman.pdf | 195.1Kb | 
[PDF]
| View/ | |
http://hdl.handle.net/11441/44936This item appears in the following collection(s)
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional