Giuseppe Spallitta

Ph.D. Student @ University of Trento - Model counting and model enumeration 'expert'(?)