Solving SAT with membrane creation
Mon, 12/17/2007 - 10:58 — ana
| Title | Solving SAT with membrane creation |
| Publication Type | Conference Contributions |
| Year of Publication | 2005 |
| Authors | Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Romero-Campero F. J. |
| Editors | Barry-Cooper, S., Lowe B., & Torenvliet L. |
| Conference Name | Computability in Europe 2005 (CiE 2005): New Computational Paradigms |
| Volume Title | Computability in Europe 2005 (CiE 2005): New Computational Paradigms |
| Place Published | Amsterdam, Holanda |
| Pages | 82-91. |
| Attachment | Size |
|---|---|
| Solving SAT with Membrane Creation pdf. | 96.9 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: |