Planificación SAT para Programación Quirúrgica en una Clínica Privada de Lima
Visión general
De qué trata este proyecto.
Modela 240 cirugías como SAT en Z3, asigna quirófanos y turnos con restricciones, compara con MIP y obtén un certificado verificable.
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.
Automated Planning
Master · Ai Ml
Fit score: 1
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