关注
Armando Tacchella
Armando Tacchella
Professor, Information Processing Systems, University of Genoa
在 unige.it 的电子邮件经过验证
标题
引用次数
引用次数
年份
Nusmv 2: An opensource tool for symbolic model checking
A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ...
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
26112002
An abstraction-refinement approach to verification of artificial neural networks
L Pulina, A Tacchella
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
3862010
Benefits of bounded model checking at an industrial setting
F Copty, L Fix, R Fraer, E Giunchiglia, G Kamhi, A Tacchella, MY Vardi
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
2782001
QUBE: A system for deciding quantified boolean formulas satisfiability
E Giunchiglia, M Narizzano, A Tacchella
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
1802001
Challenging SMT solvers to verify neural networks
L Pulina, A Tacchella
Ai Communications 25 (2), 117-135, 2012
1722012
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
1422006
Backjumping for quantified Boolean logic satisfiability
E Giunchiglia, M Narizzano, A Tacchella
Artificial Intelligence 145 (1-2), 99-120, 2003
1392003
Learning for quantified Boolean logic satisfiability
E Giunchiglia, M Narizzano, A Tacchella
AAAI/IAAI, 649-654, 2002
1272002
A self-adaptive multi-engine solver for quantified Boolean formulas
L Pulina, A Tacchella
Constraints 14, 80-116, 2009
1262009
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
C Castellini, E Giunchiglia, A Tacchella
Artificial Intelligence 147 (1-2), 85-117, 2003
1182003
SAT-based decision procedures for classical modal logics
E Giunchiglia, A Tacchella, F Giunchiglia
Journal of automated reasoning 28, 143-171, 2002
1072002
Automated verification of neural networks: Advances, challenges and perspectives
F Leofante, N Narodytska, L Pulina, A Tacchella
arXiv preprint arXiv:1805.09938, 2018
952018
A multi-engine solver for quantified boolean formulas
L Pulina, A Tacchella
International Conference on Principles and Practice of Constraint …, 2007
892007
Quantified boolean formulas satisfiability library (qbflib), 2001
E Giunchiglia, M Narizzano, A Tacchella
782006
Collaborative expert portfolio management
D Stern, H Samulowitz, R Herbrich, T Graepel, L Pulina, A Tacchella
Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 179-184, 2010
682010
Evaluating search heuristics and optimization techniques in propositional satisfiability
E Giunchiglia, M Maratea, A Tacchella, D Zambonin
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
662001
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
642002
A greedy approach for the efficient repair of stochastic models
S Pathak, E Ábrahám, N Jansen, A Tacchella, JP Katoen
NASA Formal Methods Symposium, 295-309, 2015
622015
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
622003
Watched data structures for QBF solvers
I Gent, E Giunchiglia, M Narizzano, A Rowley, A Tacchella
Theory and Applications of Satisfiability Testing: 6th International …, 2004
612004
系统目前无法执行此操作，请稍后再试。
文章 1–20