TY  - BOOK
AU  - Arbeláez Velásquez,Carlos Andrés
AU  - Rodes,Roberto Cruz
TI  - Algoritmo especializado en la solucion del problema 2+p-SAT aleatorio
U1  - 005 
PY  - 2004///
CY  - Medellín
PB  - [sin publicador]
KW  - Algoritmos (Computadores)
KW  - lemb
KW  - Complejidad computacional
N1  - 182
ER  -