Domenico Salvagnin

Modelli e Software per l'Ottimizzazione Discreta

Appelli

1. Appello giugno: 23 giugno 2015, ore 14:00 aule Ke,Ve
2. Appello settembre: 07 settembre 2015, ore 11:30 aula Ke

• Per gli appelli è necessaria l'iscrizione in UNIWEB.
• In caso di problemi con UNIWEB, presentatevi comunque all'appello (al caso peggiore la registrazione verrà effettuata all'appello successivo!!!)
• La consegna di un elaborato a tali appelli annulla l'eventuale voto ottenuto tramite compitini o in un appello precedente.

Programma del corso

• Programmazione matematica/vincolata
• Programmazione Lineare (LP)
• Cenni di dualità
• Programmazione Lineare Intera (MIP)
• Software LP/MIP
• Modellazione MIP
• Algoritmo Branch-&-Bound
• Algoritmo Branch-&-Cut
• Lingugaggi di modellazione algebrica (OPL)
• Programmazione con Vincoli (CP)
• Software CP
• Soddisfacibilità booleana (SAT)
• Software SAT
• Modellazione avanzata e tecniche di decomposizione

Dispense/Materiale

• Introduzione all'ottimizzazione discreta
• Cenni di programmazione lineare e dualità
• Modelli di PLI
• Modelli OPL introduttivi
• Modelli OPL
• Modelli OPL CP
• Modelli OPL Script
• Cenni di programmazione lineare intera
• Cenni di programmazione con vincoli
• Cenni di soddisfacibilità booleana
• Slides software LP/MIP
• Slides CPLEX API
• Sorgente C di esempio uso CPLEX APIs
• Domande di preparazione

Testi consigliati

Il corso non prevede un libro di testo. Alcune dispense verrano distribuite durante il corso.

Come testi di riferimento/consultazione si segnalano:

1. 1.
   Lezioni di Ricerca Operativa

   M. Fischetti, 2013
2. 2.
   Integrated Methods for Optimization

   J. Hooker, 2007
3. 3.
   Integer Programming

   L. Wolsey, 1998
4. 4.
   Constraint Integer Programming

   T. Achterberg, 2007