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 escenario
El grupo (alrededor de 350 personas, ingresos cercanos a 38 millones USD) atiende a aseguradoras privadas; cada cirugía cancelada por conflicto cuesta cerca de 1.200 USD entre directos e indirectos.
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.
Alineación con asignaturas próximamente.
Habilidades
Habilidades que demostrarás.
Cada una aparece en tu credencial verificada.
- Sat Planning
Apply sat planning to solve real industry problems and demonstrate production-level capability.
- Constraint Modeling
Apply constraint modeling to solve real industry problems and demonstrate production-level capability.
- Smt Solvers
Apply smt solvers to solve real industry problems and demonstrate production-level capability.
- Python
Write clean, efficient Python for data processing, automation, and backend services.
- Benchmarking
Apply benchmarking to solve real industry problems and demonstrate production-level capability.
- Domain Modeling
Apply domain modeling to solve real industry problems and demonstrate production-level capability.
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.
Investigador 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