Integrazione di Programmazione con vincoli e Programmazione matematica per risolvere problemi di ottimizzazione combinatoria

Questa tesi propone una metodologia per integrare le tecniche di CP e OR. L'innovazione rispetto alla ricerca gia' effettuata consiste nell'utilizzare in CP dei tagli indipendenti dal problema, i tagli di Gomory che sono strumenti specifici della Ricerca Operativa. In passato, ad esempio [4, 10] si sono utilizzati tagli dipendenti dal problema, per migliorare i bounds del problema rilassato; in questa tesi si usano tagli (tagli di Gomary) generici, adatti a un qualunque tipo di problema. Lo scopo di questa tesi e' di osservare se questi tagli, inseriti nell'ambito della Programmazione con Vincoli, migliorino la performance dei sistemi CP o OR puri nei problemi di ottimizzazione.