Planificación SAT para Programación Quirúrgica en una Clínica Privada de Lima
Visión general
De qué trata este proyecto.
Recibes el catálogo de cirugías solicitadas para una semana (240 procedimientos con duración, equipo médico requerido, equipamiento dedicado), disponibilidad de quirófanos y restricciones de turno del personal médico. Codifica el problema como SAT (cada decisión asignación quirófano-bloque-cirugía es una variable booleana), resuelve con Z3 o un SAT solver moderno (Glucose, Kissat), reporta tiempos y soluciones, y compara contra un solver MIP (Mixed Integer Programming) como referencia. Entrega memoria con la propuesta de operacionalización.
El Briefing
Lo que harás y lo que demostrarás.
Resolver la programación quirúrgica semanal como SAT con cero conflictos de quirófano y de equipo médico, en menos de 10 minutos de solver.
Earning criteria — what you'll demonstrate
- Codificar problemas de planificación como SAT/SMT
- Aplicar SAT solvers modernos a instancias reales
- Comparar paradigmas declarativos (SAT vs MIP)
- Comunicar restricciones modeladas a un equipo de operaciones
Encaje académico
Dónde encaja esto en tus estudios.
Afina las mismas habilidades que tu titulación espera de ti.
Habilidades
Habilidades que demostrarás.
Cada una aparece en tu credencial verificada.
Carreras
Roles para los que esto te prepara.
Títulos reales. Puentes de habilidades reales. Elige el que más se acerque a tu trayectoria.
Trayectorias profesionales que esto construye
Roles canónicosInvestigador en IA
Codificar problemas reales como SAT y comparar paradigmas es trabajo cotidiano del investigador en optimización y planificación.
Este proyecto afina
- sat-planning
- constraint-modeling
- smt-solvers
Científico Investigador
Diseñar la comparativa SAT vs MIP con métricas reproducibles es núcleo del rol de research scientist junior.
Este proyecto afina
- benchmarking
- smt-solvers
- constraint-modeling
Arquitecto de Soluciones de IA
Proponer cómo operar un solver dentro del flujo del equipo es exactamente el músculo del AI solutions architect.
Este proyecto afina
- domain-modeling
- constraint-modeling
- python