00741nam a2200253 u 4500 885460 20260506152610.0 co||||||| 040806e20040202 spa 885460 comduadb spa 005 Arbeláez Velásquez, Carlos Andrés aut aut 395614 Algoritmo especializado en la solucion del problema 2+p-SAT aleatorio Medellín : [sin publicador], 2004. 1 CD-ROM . 12 cm Algoritmos (Computadores) lemb 173839 Complejidad computacional 31639 Rodes, Roberto Cruz ths ths 395615 TESIS 318070 318070 180 17 182 0 0 0 0 TESDIGBC BC BC 2004-08-06 Material adquirido por donación C833986 0 005.133 A664 0547463 2023-04-25 00:00:00 1 2023-04-25 DIGITAL