UnissResearch

Logo Universitàegli studi di Sassari
titoli, abstracts, parole chiave >>>
Browse by Journal
Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Date | Creators
Jump to: 2010 | 2008
Number of items: 2.

2010

Pulina, 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.

2008

Rongo, 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.

This list was generated on Sun Apr 20 08:09:28 2014 CEST.