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.


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.


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 Wed Apr 21 07:58:48 2021 CEST.