Luca Pulina

• Theory and Applications of Satisfiability Testing – SAT 2020
• ChatBot per Principianti
• Git per Principianti