Reti booleane: un’applicazione ai problemi di soddisfacibilità
Tesi di Laurea di Andrea Roli
Relatore: Prof.ssa Ing. Paola Mello Correlatori: Dott. Ing. Michela Milano, Prof.ssa Ing. Evelina Lamma
Tesi in formato PostScript: