Exponential lower bounds for DPLL algorithms on satisfiable random 3-CNF formulas

Dimitris Achlioptas, Ricardo Menchaca-Mendez

Producción científica: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

3 Citas (Scopus)

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.

Matemáticas

Ingeniería y ciencia de los materiales