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)