Ph.D. in Ingegneria Informatica E Dei Sistemi , 21st cycle (2006-2008)
Ph.D. obtained in 2009
Dissertation:
SAT-and QBF- Based symbolic techniques: decision, procedures and applications
Tutors:
Stefano QuerPublications
Latest publications View all publications in Porto@Iris
- Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; ... (2008)
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. In: FMCAD 2008: Formal Methods in Computer Aided Design, Portland, OR, USA, 17-20 novembre 2008, pp. 205-212. ISBN: 9781424427352
Contributo in Atti di Convegno (Proceeding) - Bruno, V; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano (2008)
Stressing Symbolic Scheduling Techniqueswithin Aircraft Maintenance Optimization. In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION, vol. 5, pp. 77-104. ISSN 1574-0617
Contributo su Rivista