Manuel Bodirsky

Uno sguardo a come la resilienza dei database influisce sulla gestione dei dati e sul processamento delle query.

Esplorare l'impatto della logica positiva senza uguaglianza sui metodi di verifica dei modelli.

Esplora i VCSP temporali e il loro significato nei problemi di ottimizzazione.