APA   Click to copy
Carrega, A. (2009, February 11). Advanced Techniques for Propositional Satisfiability (Master's thesis). University of Genoa, Genoa, Italy.

Chicago/Turabian   Click to copy
Carrega, Alessandro. “Advanced Techniques for Propositional Satisfiability.” Master's thesis, University of Genoa, 2009.

MLA   Click to copy
Carrega, Alessandro. Advanced Techniques for Propositional Satisfiability. University of Genoa, 11 Feb. 2009.

@mastersthesis{carrega2009a,
  title = {Advanced Techniques for Propositional Satisfiability},
  year = {2009},
  month = feb,
  day = {11},
  address = {Genoa, Italy},
  school = {University of Genoa},
  author = {Carrega, Alessandro},
  month_numeric = {2}
}