Armando Tacchella
Armando Tacchella
Associate Professor, Information Processing Systems, University of Genoa
Verified email at unige.it
TitleCited byYear
Nusmv 2: An opensource tool for symbolic model checking
A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ...
International Conference on Computer Aided Verification, 359-364, 2002
18052002
Benefits of bounded model checking at an industrial setting
F Copty, L Fix, R Fraer, E Giunchiglia, G Kamhi, A Tacchella, MY Vardi
International Conference on Computer Aided Verification, 436-453, 2001
2652001
QUBE: A system for deciding quantified boolean formulas satisfiability
E Giunchiglia, M Narizzano, A Tacchella
International Joint Conference on Automated Reasoning, 364-369, 2001
1612001
Clause/term resolution and learning in the evaluation of quantified Boolean formulas
E Giunchiglia, M Narizzano, A Tacchella
Journal of Artificial Intelligence Research 26, 371-416, 2006
1212006
Backjumping for quantified Boolean logic satisfiability
E Giunchiglia, M Narizzano, A Tacchella
Artificial Intelligence 145 (1-2), 99-120, 2003
1192003
Learning for quantified Boolean logic satisfiability
E Giunchiglia, M Narizzano, A Tacchella
AAAI/IAAI, 649-654, 2002
1132002
A self-adaptive multi-engine solver for quantified Boolean formulas
L Pulina, A Tacchella
Constraints 14 (1), 80-116, 2009
1002009
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
C Castellini, E Giunchiglia, A Tacchella
Artificial Intelligence 147 (1-2), 85-117, 2003
972003
SAT-based decision procedures for classical modal logics
E Giunchiglia, A Tacchella, F Giunchiglia
Journal of Automated Reasoning 28 (2), 143-171, 2002
812002
An abstraction-refinement approach to verification of artificial neural networks
L Pulina, A Tacchella
International Conference on Computer Aided Verification, 243-257, 2010
752010
Quantified boolean formulas satisfiability library (qbflib), 2001
E Giunchiglia, M Narizzano, A Tacchella
642006
A multi-engine solver for quantified boolean formulas
L Pulina, A Tacchella
International Conference on Principles and Practice of Constraint …, 2007
632007
Integrating BDD-based and SAT-based symbolic model checking
A Cimatti, E Giunchiglia, M Pistore, M Roveri, R Sebastiani, A Tacchella
International Workshop on Frontiers of Combining Systems, 49-56, 2002
572002
More evaluation of decision procedures for modal logics
E Giunchiglia, F Giunchiglia, R Sebastiani, A Tacchella
KR 98, 626-635, 1998
561998
Evaluating search heuristics and optimization techniques in propositional satisfiability
E Giunchiglia, M Maratea, A Tacchella, D Zambonin
International Joint Conference on Automated Reasoning, 347-363, 2001
552001
Challenges in the QBF arena: the SAT’03 evaluation of QBF solvers
D Le Berre, L Simon, A Tacchella
International Conference on Theory and Applications of Satisfiability …, 2003
532003
Watched data structures for QBF solvers
I Gent, E Giunchiglia, M Narizzano, A Rowley, A Tacchella
International Conference on Theory and Applications of Satisfiability …, 2003
512003
Report of the third QBF solvers evaluation
M Narizzano, L Pulina, A Tacchella
Journal on Satisfiability, Boolean Modeling and Computation 2, 145-164, 2014
482014
QuBE++: An efficient QBF solver
E Giunchiglia, M Narizzano, A Tacchella
International Conference on Formal Methods In Computer-Aided Design, 201-213, 2004
472004
Quantifier structure in search-based procedures for QBFs
E Giunchiglia, M Narizzano, A Tacchella
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2007
422007
The system can't perform the operation now. Try again later.
Articles 1–20