IRIS

TACCHELLA, ARMANDO

TACCHELLA, ARMANDO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 112 (tempo di esecuzione: 0.114 secondi).
Titolo Data di pubblicazione Autore(i) File
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 1-gen-2003 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
A comparison of declarative AI techniques for computer automated design of elevator systems 1-gen-2022 Cicala, G; Demarchi, S; Menapace, M; Annunziata, L; Tacchella, A
A greedy approach for the efficient repair of stochastic models 1-gen-2015 Pathak, Shashank; Ábrahám, Erika; Jansen, Nils; Tacchella, Armando; Katoen, Joost Pieter
A Multi-engine Solver for Quantified Boolean Formulas 1-gen-2007 Pulina, L; Tacchella, Armando
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems 1-gen-2016 Cicala, Giuseppe; DE LUCA, Marco; Oreggia, Marco; Tacchella, Armando
A Self-adaptive Multi-engine solver for quantified Boolean formulas 1-gen-2009 Tacchella, Armando; Pulina, L.
A Structural Approach to Reasoning with Quantified Boolean Formulas 1-gen-2009 Pulina, Luca; Tacchella, Armando
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics 1-gen-2000 Giunchiglia, Enrico; Tacchella, Armando
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics 1-gen-2001 Giunchiglia, Enrico; Tacchella, Armando
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks 1-gen-2010 Pulina, L; Tacchella, Armando
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
An empirical perspective on ten years of QBF solving 1-gen-2015 Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing. 1-gen-2010 Pulina, L; Tacchella, Armando
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles 1-gen-2009 DE AMBROSI, Cristina; Ghersi, Chiara; Tacchella, Armando
AQME’10 System Description. 1-gen-2010 Pulina, L; Tacchella, Armando
Automata based test generation with SpecPro 1-gen-2019 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches 1-gen-2021 Demarchi, S.; Menapace, M.; Tacchella, A.
Automatic Test-Pattern Generation for Grey-Box Programs 1-gen-2015 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico
Automating functional genomics data analysis: a use case with an interdisciplinary approach 1-gen-2008 Balbi, Alberto; Corradi, Luca; Fato, MARCO MASSIMO; Mirisola, Valentina; Pfeffer, Ulrich; Porro, Ivan; Romano, Paolo; Tacchella, Armando
Backjumping for Quantified Boolean Logic Satisfiability 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando