Presentation
Solving SAT with membrane creation
| Author/s | Gutiérrez Naranjo, Miguel Ángel
Pérez Jiménez, Mario de Jesús
Romero Campero, Francisco José
|
| Department | Universidad de Sevilla. Departamento de Tecnología Electrónica |
| Publication Date | 2005 |
| Deposit Date | 2017-01-26 |
| Published in |
|
| Abstract | Membrane Computing is a branch of Natural Computing
which starts from the assumption that the processes taking place in the
compartmental structure of a living cell can be interpreted as computations.
In this paper we ... |
| Funding agencies | Ministerio de Ciencia y Tecnología (MCYT). España |
| Project ID. | TIC2002-04220-C03-01
 |
| Citation | Gutiérrez Naranjo, M.Á., Pérez Jiménez, M.d.J. y Romero Campero, F.J. (2005). Solving SAT with membrane creation. En Computability in Europe 2005 (CiE 2005): New Computational Paradigms : Report ILLC X-2005-01 (82-91), Amsterdam: University of Amsterdam. |
| Files | Size | Format | View | Description |
|---|---|---|---|---|
| 10.1.1.74.8195.pdf | 234.9Kb | 
[PDF]
| View/ | |
http://hdl.handle.net/11441/52810This item appears in the following collection(s)
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional