@article {307,
	title = {Formalizaci{\'o}n computacional del experimento de Lipton sobre el problema SAT},
	journal = {Primer Congreso Espa{\~n}ol de Algoritmos Evolutivos y Bioinspirados},
	year = {2002},
	month = {6-8/02/2002},
	pages = {326-332},
	address = {M{\'e}rida (Spain)},
	isbn = {84-607-3913-9},
	author = {Mario J. P{\'e}rez-Jim{\'e}nez and Fernando Sancho-Caparrini and Carmen Graciani-D{\'\i}az and {\'A}lvaro Romero-Jim{\'e}nez}
}
