Huella
Profundice en los temas de investigación de 'Exponential lower bounds for DPLL algorithms on satisfiable random 3-CNF formulas'. En conjunto forman una huella única.- Clasificar por
- Ponderación
- Alfabéticamente
Dimitris Achlioptas, Ricardo Menchaca-Mendez
Producción científica: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva