Seminario nell'ambito del corso di Constraint Programming della LM Scienze Informatiche aperto a studenti e colleghi interessati.Relatore: Prof. Roberto Amadini (Professore Associato, Università di Bologna)Quando: Lunedì 4 dicembre 2023 ore 10.30Luogo: Aula B, Plesso di MatematicaTitolo: Constraint programming besides numbersSunto: Il talk tratterà, ad alto livello, l'utilizzo della programmazione a vincoli o Constraint Programming (CP) in contesti diversi dal suo campo di applicazione principale, ossia la risoluzione di vincoli su variabili di tipo intero. Dopo una breve introduzione sui vincoli insiemistici, verranno introdotti approcci di CP basati su portfolio di risolutori e per la risoluzione di vincoli su stringhe finite.Organizzatore: prof. Alessandro Dal Palu' Pagina istituzionale prof. Roberto Amadini PDF Locandina
