C

cdcl

Thesis titled "Analysis of the structure of k-SAT formulas and of some resolution algorithms". Bachelor's degree in Computer Science, University of Milan-Bicocca.