Home » Archivo » Archvio 2009 » Sistemi con vincoli - 2009/2010

Laurea Magistrale

Salta il menu di secondo livello

Sistemi con vincoli - 6 CFU - A.A. 2009/2010

Insegnante

Prof. Francesca Rossi

Periodo

I anno - 3 trimestre | 06/04/2010 - 11/06/2010

Curriculum:

Ore: 40 Frontali, 0 Laboratorio, 8 Esercizi

Torna su ▲

Programma del Corso

* 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:
o vincoli soft
o vincoli bipolari
o vincoli con incertezza

Prerequisiti: - -

Propedeuticità:

Ausili Didattici:

Testi di Riferimento: * Principles of Constraint Programming, K. Apt, Cambridge University Press, 2003.
* Constraint processing, R. Dechter, Morgan Kaufmann, 2003.
* Handbook of Constraint Programming, F. Rossi, P. Van Beek, T. Walsh, editors, Elsevier, 2006.

Torna su ▲