El Departamento de Informática te invita a participar del coloquio “Backbones de instancias de optimización Pseudo-Booleana: Extracción y aplicaciones”, que presentarán Matías Francia, Desarrollador de software full-stack en WaterMind. Ingeniero Civil Informático y Magíster en Ciencias de la Ingeniería Informática USM; y Bryan Alvarado, Data Scientist en Unholster. Ingeniero Civil Informático y Magíster en Ciencias de la Ingeniería Informática USM.
El backbone de una instancia de un problema de optimización es el conjunto de variables que deben tener el mismo valor asignado en todas las soluciones óptimas. Calcular el Backbone de una instancia de Optimización Pseudo-Booleana (PBO) es un problema NP-hard. En esta charla se explicarán técnicas actuales para la extracción de backbones de instancias PBO y cómo estos backbones pueden ser usados como una señal eficiente de entrenamiento para modelos de redes neuronales de grafos, con el objetivo de mejorar la búsqueda de solvers PBO.
Miércoles 09 de septiembre, 14:40 horas, Sala B038 (LPA)
Cupos limitados, previa inscripción.
¡Te esperamos!