Home » Archivo » Archvio 2011 » Sistemi con vincoli - 2011/2012

Laurea Magistrale

Salta il menu di secondo livello

Sistemi con vincoli - 6 CFU - A.A. 2011/2012

Insegnante

Prof.ssa Francesca Rossi

Periodo

I anno - 3 trimestre | 12/04/2012 - 16/06/2012

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 ▲