Se invita a presenciar el examen de título de Amanda Salinas Prieto, quien finaliza la carrera de Ingeniería Civil Informática con el tema de memoria “Uso de Historial de LBD’s para seleccionar política de reinicio en solvers de optimización pseudo booleana basados en CDCL”.
