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

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

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