Materiale Didattico | AI @ UniBO

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.

Capitolo 0: informazioni generali [pdf] [web]
Capitolo 1: introduzone alla Programmazione a Vincoli [pdf] [web]
Capitolo 2: generalizzazioni, vincoli aritmetici, (G)AC e BC [pdf] [web]
- ATTENZIONE: sono state fatte delle correzioni
Un esercizio di modellazione [pdf] [web]
Capitolo 3: Enumerazione, Ottimizzazione [pdf] [web] [screen-rec (ch3 + inizio ch4)]
- ATTENZIONE: sono state fatte delle correzioni
Capitolo 4: meta-vincoli, vincoli logici [pdf] [web] [screen-rec (ch4 + inizio ch5)]
Capitolo 5: il processo di ricerca in CP [pdf] [web] [screen-rec (ch5 + inizio ch6)]
Capitolo 6: tecniche per migliorare un modello (sessione interattiva) [screen-rec (fine ch6)]
- Slide riassuntive [pdf] [web]
- Start-kit [zip]
Capitolo 7: Vincoli globali (propagatori basati su flusso) [pdf] [web] [screen-rec]
- ATTENZIONE: sono state fatte piccole correzioni
Capitolo 8: Vincoli globali (propagatori incrementali) [pdf] [web] [screen-rec]
- ATTENZIONE: sono state fatte piccole correzioni (i due typo notati a lezione)
Capitolo 9: CP ed euristiche [pdf] [web] [screen-rec]
Capitolo 10: CP per Scheduling [pdf] [web] [screen-rec]
- ATTENZIONE: sono state fatte piccole correzioni (compulsory parts e timetable filtering)

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