Università degli Studi di Perugia

Prova Orale

fissato dal consiglio di corso di laurea

Introduzione al corso, esempi di problemi di vincoli.
Nozioni di base della programmazione con vincoli.
Alcuni risolutori completi.
Nozioni di consistenza locale.
Alcuni risolutori incompleti.
Algoritmi di propagazione di vincoli.
Metodi di ricerca nello spazio delle soluzioni.
Argomenti avanzati di programmazione con vincoli:
- vincoli soft
- vincoli bipolari
- vincoli con incertezza

La programmazione con vincoli e' un'area di ricerca molto attiva a cavallo tra l'Intelligenza Artificiale, la Ricerca Operativa, i Linguaggi di Programmazione, e le Basi di Dati, e fornisce strumenti per la modellazione e la soluzione di problemi reali visti come un insieme di vincoli su un certo insieme di variabili.

lezioni frontali e laboratorio

dispense docente e libri di testo consigliati a lezione

Capire le nozioni fondamentali della constraint programming.
Acquisire capacità di analizzare un problema di vincoli con le tecniche descritte a lezione.

fissate dal consiglio di facoltà

fissato dal consiglio di corso di laurea

frequenza facoltativa (ma consigliata)

Dipartimento di matematica e Informatica