GARCIA GALEANO, LUZ AMANDA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Stressing Symbolic Scheduling Techniqueswithin Aircraft Maintenance Optimization
2008 Bruno, V; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking
2008 Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Stressing Symbolic Scheduling Techniqueswithin Aircraft Maintenance Optimization / Bruno, V; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - 5:(2008), pp. 77-104. | 1-gen-2008 | GARCIA GALEANO, LUZ AMANDANOCCO, SERGIOQUER, Stefano + | - |
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2008), pp. 205-212. (Intervento presentato al convegno FMCAD 2008: Formal Methods in Computer Aided Design tenutosi a Portland, OR, USA nel 17-20 novembre 2008). | 1-gen-2008 | CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCOGARCIA GALEANO, LUZ AMANDANOCCO, SERGIOQUER, Stefano | - |