Formalización computacional del experimento de Lipton sobre el problema SAT
| Title | Formalización computacional del experimento de Lipton sobre el problema SAT |
| Publication Type | Conference Contributions |
| Year of Publication | 2002 |
| Authors | Pérez-Jiménez, M. J., Sancho-Caparrini F., Graciani-Díaz C., & Romero-Jiménez Á. |
| Conference Name | Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados |
| Volume Title | Actas del Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados (AEB '02) |
| ISBN Number | 84-607-3913-9 |
| Place Published | Mérida (Spain) |
| Pages | 326-332 |
| Date Published | 6-8/02/2002 |
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 |