Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Competenze
IT
EN
☰
|
UNIFIND
uniss.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Competenze
☰
Pubblicazioni
FUNDAMENTA INFORMATICAE
Rivista
Codice:
E068482
ISSN:
0169-2968
Dati Generali
Dati Generali
Pubblicazioni (4)
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing
Articolo
Lava Flow Hazard Evaluation Through Cellular Automata and Genetic Algorithms: an Application to Mt. Etna Volcano
Articolo
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows
Articolo
Verification techniques for a network algebra
Articolo
No Results Found
