Manuel Bodirsky

Una mirada a cómo la resiliencia de la base de datos afecta la gestión de datos y el procesamiento de consultas.

Explorando el impacto de la lógica positiva sin igualdad en los métodos de verificación de modelos.

Explora los VCSPs temporales y su importancia en problemas de optimización.