Skip to contentSkip to content
Certificados verificados. En cadena. Para siempre.Más información
Ewance
Iniciar sesión
Cover image for Planificación SAT para Programación Quirúrgica en una Clínica Privada de Lima
Code

Planificación SAT para Programación Quirúrgica en una Clínica Privada de Lima

FreeVerified credential3 semanasAdvanced

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.

CredentialBlockchain-anchored
ShareableLinkedIn-ready
LanguageEnglish
PaceSelf-paced

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.

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

Una cosa más

Puedes tener una credencial en tu CV para el viernes.

Planificación SAT para Programación Quirúrgica | Ewance Challenge