Search: Mérida (Spain) | Research Group on Natural Computing

Search: Mérida (Spain)

1 result

Results

Formalización computacional del experimento de Lipton sobre el problema SAT

Thu, 01/10/2008 - 14:20 — ana

Pérez-Jiménez, M. J., Sancho-Caparrini F., Graciani-Díaz C., & Romero-Jiménez Á. (2002). Formalización computacional del experimento de Lipton sobre el problema SAT. Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados. 326-332.