Algoritmi 'Esatti' per la Soluzione di Grandi Sistemi