Browse by Journal
Group by: Date | Creators Number of items: 2.
2010Pulina, Luca and Tacchella, Armando (2010) An Empirical study of QBF encodings: from treewidth estimation to useful preprocessing. Fundamenta Informaticae, Vol. 102 (3-4), p. 391-427. eISSN 1875-8681. Article. 2008Rongo, Rocco and Spataro, William and D'Ambrosio, Donato and Avolio, Maria Vittoria and Trunfio, Giuseppe Andrea and Di Gregorio, Salvatore (2008) Lava flow hazard evaluation through cellular automata and genetic algorithms: an application to mt Etna volcan. Fundamenta Informaticae, Vol. 87 (2), p. 247-267. ISSN 0169-2968. eISSN 1875-8681. Article. |