Software
Software
Le implementazioni degli algoritmi descritti nei miei lavori, rilasciate con le istanze di riferimento e il materiale necessario a riprodurre gli esperimenti.
Bomberino
Un banco di lavoro interattivo per insegnare gli algoritmi della ricerca operativa — simplesso primale e duale, tagli di Gomory e branch-and-bound su piccoli problemi lineari e interi. Ogni pivot, bound, taglio e ramificazione resta tracciato in frazioni esatte, e l'esercizio svolto si esporta in LaTeX.
CliSAT
Algoritmo esatto basato su SAT per il problema della clique massima, usato per risolvere istanze difficili, con istanze di riferimento e materiale computazionale.
BPP-NE
Branch-price-and-cut numericamente esatto per il bin packing classico, con bound duali sicuri e pricing esatto a virgola fissa.
NEA-G2KP
Impianto risolutivo esatto per problemi di knapsack bidimensionale, con le istanze e i risultati dettagliati dello studio sperimentale.
Bfilt
Algoritmo esatto branch-and-filter per problemi di soddisfacimento di vincoli binari, con eseguibile Linux, istanze e convertitori di formato.
KPCG
Branch-and-bound combinatorio per lo zaino con conflitti, dove gli oggetti scelti devono rispettare capacità e incompatibilità a coppie.
BBEWC
Branch-and-bound esatto per la clique massima pesata sugli archi, con i dati e l'eseguibile usati nello studio computazionale.
LOC-COV
Branch-and-Benders-cut per i problemi di massima copertura e di copertura parziale, capace di trattare milioni di punti di domanda.
SUB-COV-MAX
Massimizzazione submodulare di utilità concave composte con un operatore di unione, per modelli di copertura e localizzazione a rendimenti decrescenti.
COVER-MAX-DEPTH
Separazione esatta delle disuguaglianze di cover di profondità massima per problemi con vincoli di zaino.
Ramsey lower bounds
Approccio di programmazione intera per calcolare bound inferiori sui numeri di Ramsey tramite grafi circolanti.
Libreria di riferimento
Librerie
QPLIB
La libreria di riferimento di istanze di programmazione quadratica — continue, intere miste e binarie — curata e classificata per il confronto fra algoritmi.
Di ogni lavoro su questo sito trovi la versione d'autore in PDF e la voce BibTeX — vedi Pubblicazioni.