Sistemi con Vincoli 2016/2017

Questo sito Web è dedicato al corso di Sistemi con Vincoli, presso l'Università di Padova.

Il sito vuole consentire agli allievi di avere accesso a tutte le informazioni relative a finalità, contenuti, testi adottati e modalità di valutazione del corso.

ATTENZIONE: la lezione di Giovedì 13 Aprile non sarà tenuta

ATTENZIONE: la lezione di Giovedì 20 Aprile consisterà in un seminario dell'Ing. Zanarini, ricercatore industriale presso ABB, su applicazioni di programmazione a vincoli ed ottimizzazione combinatoria in generale

Orario del corso: consultabile sul sistema informatizzato del corso di laurea.

Titolare del corso:
Dott. Michele Lombardi, Tel. 051 20 93270, michele <dot> lombardi2 <at> unibo <dot> it
Ricevimento: su appuntamento, subito prima o subito dopo le lezioni


Obiettivi

Fornire una introduzione complessiva alla tecnica di Programmazione a Vincoli, a partire dalle basi sue basi teoriche fondamentali. L'enfasi del corso sarà su metodi di modellazione, propagazione di vincoli e strategie di ricerca direttamente applicabili a problemi pratici. Una parte consistente delle ore del corso sarà svolta in laboratorio, così da consentire agli allievi di maturare familiarità con risolutori a vincoli allo stato dell'arte.

Gli obiettivi pricipali del corso sono:

Inoltre:


Metodi e materiale

Lo strumento software utilizzato in laboratorio sarà Google or-tools, disponibile gratuitamente. Apposite istruzioni di installazione saranno fornite dopo la prima sessione di laboratorio.


Modalità d'esame

L'esame sarà costituito da un prova scritta, più un progetto (opzionale, in linea di massima da 0 a 3 punti addizionali)

 

Materiale Didattico

Lezioni del corso

I lucidi verrano resi disponibili mano a mano che il corso progredisce.

I lucidi sono in lingua inglese.

Home page lucidi web

Articoli consigliati

Durante il corso, verranno indicati degli articoli scientifici come lettura consigliata.