Le Piane, Fabio (2015) Il teorema di Cook-Levin e i SAT-solver. [Laurea], Università di Bologna, Corso di Studio in Matematica [L-DM270]
Rinaldi, Andrea (2015) Algoritmi di Compressione secondo Lempel Ziv. [Laurea], Università di Bologna, Corso di Studio in Matematica [L-DM270]