Sistemi con Vincoli 2015/2016

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.

AVVISO: il testo e la soluzione dell'esame del 12 Febbraio sono on-line, nella sezione "temi d'esame" 

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

 

Materiale Didattico

Lezioni del corso

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

Per alcune lezioni è disponibile una registrazione (voce + slides)

I lucidi sono in lingua inglese.

Articoli consigliati

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

 

Laboratorio

Sessioni di Laboratorio

 

Un po' di idee per il progetto [web] (la pagine verrà aggiornata nel tempo)

 

Riferimento per l'API di Google or-tools

Un foglio di riferimento per python

 

Le istruzioni sull'installazione di Google sono disponibili qui. Qualche raccomandazione:

 

Temi D'Esame

Esercizi svolti a lezione

Alcuni esami passati

Alcuni esercizi di modellazione (tratti da esami svolti a Bologna)