Cesare Tinelli

Un cadre flexible pour des problèmes d'optimisation complexes qui intègrent plusieurs objectifs et des contraintes logiques.

Explorer de nouvelles méthodes pour vérifier les requêtes SQL en utilisant des théories de tables et de relations.