×

zbMATH — the first resource for mathematics

Tacchella, Armando

Compute Distance To:
Author ID: tacchella.armando Recent zbMATH articles by "Tacchella, Armando"
Published as: Tacchella, Armando; Tacchella, A.
Documents Indexed: 41 Publications since 2000, including 1 Book

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 268 times in 198 Documents Cited by Year
NuSMV 2: An OpenSource tool for symbolic model checking. Zbl 1010.68766
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
81
2002
Clause/Term resolution and learning in the evaluation of quantified Boolean formulas. Zbl 1183.68475
Giunchiglia, E.; Narizzano, M.; Tacchella, A.
24
2006
SAT-based decision procedures for automated reasoning: A unifying perspective. Zbl 1098.68693
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando
16
2005
A self-adaptive multi-engine solver for quantified Boolean formulas. Zbl 1183.68589
Pulina, Luca; Tacchella, Armando
15
2009
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Zbl 1082.68799
Castellini, Claudio; Giunchiglia, Enrico; Tacchella, Armando
14
2003
Backjumping for quantified Boolean logic satisfiability. Zbl 1082.68795
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
12
2003
Economic complexity: conceptual grounding of a new metrics for global competitiveness. Zbl 1327.91053
Tacchella, A.; Cristelli, M.; Caldarelli, G.; Gabrielli, A.; Pietronero, L.
11
2013
QUBE: A system for deciding quantified Boolean formulas satisfiability. Zbl 0988.68598
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
10
2001
Report of the third QBF solvers evaluation. Zbl 1116.68089
Narizzano, Massimo; Pulina, Luca; Tacchella, Armando
7
2006
Evaluating and certifying QBFs: a comparison of state-of-the-art tools. Zbl 1186.68440
Narizzano, Massimo; Peschiera, Claudia; Pulina, Luca; Tacchella, Armando
7
2009
QuBE++: An efficient QBF solver. Zbl 1117.68488
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
6
2004
The seventh QBF solvers evaluation (QBFEVAL’10). Zbl 1306.68173
Peschiera, Claudia; Pulina, Luca; Tacchella, Armando; Bubeck, Uwe; Kullmann, Oliver; Lynce, Inês
6
2010
Getting to the airport: The oldest planning problem in AI. Zbl 0979.68099
Lifschitz, Vladimir; McCain, Norman; Remolina, Emilio; Tacchella, Armando
6
2000
SAT-based decision procedures for classical modal logics. Zbl 1003.03011
Giunchiglia, Enrico; Tacchella, Armando; Giunchiglia, Fausto
6
2002
Evaluating search heuristics and optimization techniques in propositional satisfiability. Zbl 0988.68608
Giunchiglia, Enrico; Maratea, Massimo; Tacchella, Armando; Zambonin, Davide
5
2001
Dependent and independent variables in propositional satisfiability. Zbl 1014.68528
Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
4
2002
Watched data structures for QBF solvers. Zbl 1204.68195
Gent, Ian; Giunchiglia, Enrico; Narizzano, Massimo; Rowley, Andrew; Tacchella, Armando
4
2004
The second QBF solvers comparative evaluation. Zbl 1122.68608
Le Berre, Daniel; Narizzano, Massimo; Simon, Laurent; Tacchella, Armando
3
2005
Challenges in the QBF arena: The SAT’03 evaluation of QBF solvers. Zbl 1204.68204
Le Berre, Daniel; Simon, Laurent; Tacchella, Armando
3
2004
A subset-matching size-bounded cache for satisfiability in modal logics. Zbl 0963.68178
Giunchiglia, Enrico; Tacchella, Armando
3
2000
SAT vs. translation based decision procedures for modal logics: A comparative evaluation. Zbl 1033.03500
Giunchiglia, Enrico; Giunchiglia, Fausto; Sebastiani, Roberto; Tacchella, Armando
3
2000
Integrating BDD-based and SAT-based symbolic model checking. Zbl 1057.68623
Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
3
2002
Challenging SMT solvers to verify neural networks. Zbl 1248.68462
Pulina, Luca; Tacchella, Armando
3
2012
QBF reasoning on real-world instances. Zbl 1122.68596
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
2
2005
An analysis of backjumping and trivial truth in quantified Boolean formulas satisfiability. Zbl 1007.68577
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
2
2001
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows. Zbl 1373.68380
Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
2
2016
Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003. Selected revised papers. Zbl 1030.00034
Giunchiglia, Enrico (ed.); Tacchella, Armando (ed.)
2
2004
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing. Zbl 1214.68370
Pulina, Luca; Tacchella, Armando
2
2010
Treewidth: A useful marker of empirical hardness in quantified Boolean logic encodings. Zbl 1182.68263
Pulina, Luca; Tacchella, Armando
2
2008
SAT-based decision procedures for classical modal logics. Zbl 0980.03010
Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando
1
2000
System description: *SAT. A platform for the development of modal decision procedures. Zbl 0963.68538
Giunchiglia, Enrico; Tacchella, Armando
1
2000
NeVer: a tool for artificial neural networks verification. Zbl 1251.68143
Pulina, Luca; Tacchella, Armando
1
2011
Learning to integrate deduction and search in reasoning about quantified Boolean formulas. Zbl 1193.68214
Pulina, Luca; Tacchella, Armando
1
2009
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows. Zbl 1373.68380
Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
2
2016
Economic complexity: conceptual grounding of a new metrics for global competitiveness. Zbl 1327.91053
Tacchella, A.; Cristelli, M.; Caldarelli, G.; Gabrielli, A.; Pietronero, L.
11
2013
Challenging SMT solvers to verify neural networks. Zbl 1248.68462
Pulina, Luca; Tacchella, Armando
3
2012
NeVer: a tool for artificial neural networks verification. Zbl 1251.68143
Pulina, Luca; Tacchella, Armando
1
2011
The seventh QBF solvers evaluation (QBFEVAL’10). Zbl 1306.68173
Peschiera, Claudia; Pulina, Luca; Tacchella, Armando; Bubeck, Uwe; Kullmann, Oliver; Lynce, Inês
6
2010
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing. Zbl 1214.68370
Pulina, Luca; Tacchella, Armando
2
2010
A self-adaptive multi-engine solver for quantified Boolean formulas. Zbl 1183.68589
Pulina, Luca; Tacchella, Armando
15
2009
Evaluating and certifying QBFs: a comparison of state-of-the-art tools. Zbl 1186.68440
Narizzano, Massimo; Peschiera, Claudia; Pulina, Luca; Tacchella, Armando
7
2009
Learning to integrate deduction and search in reasoning about quantified Boolean formulas. Zbl 1193.68214
Pulina, Luca; Tacchella, Armando
1
2009
Treewidth: A useful marker of empirical hardness in quantified Boolean logic encodings. Zbl 1182.68263
Pulina, Luca; Tacchella, Armando
2
2008
Clause/Term resolution and learning in the evaluation of quantified Boolean formulas. Zbl 1183.68475
Giunchiglia, E.; Narizzano, M.; Tacchella, A.
24
2006
Report of the third QBF solvers evaluation. Zbl 1116.68089
Narizzano, Massimo; Pulina, Luca; Tacchella, Armando
7
2006
SAT-based decision procedures for automated reasoning: A unifying perspective. Zbl 1098.68693
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando
16
2005
The second QBF solvers comparative evaluation. Zbl 1122.68608
Le Berre, Daniel; Narizzano, Massimo; Simon, Laurent; Tacchella, Armando
3
2005
QBF reasoning on real-world instances. Zbl 1122.68596
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
2
2005
QuBE++: An efficient QBF solver. Zbl 1117.68488
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
6
2004
Watched data structures for QBF solvers. Zbl 1204.68195
Gent, Ian; Giunchiglia, Enrico; Narizzano, Massimo; Rowley, Andrew; Tacchella, Armando
4
2004
Challenges in the QBF arena: The SAT’03 evaluation of QBF solvers. Zbl 1204.68204
Le Berre, Daniel; Simon, Laurent; Tacchella, Armando
3
2004
Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003. Selected revised papers. Zbl 1030.00034
Giunchiglia, Enrico; Tacchella, Armando
2
2004
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Zbl 1082.68799
Castellini, Claudio; Giunchiglia, Enrico; Tacchella, Armando
14
2003
Backjumping for quantified Boolean logic satisfiability. Zbl 1082.68795
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
12
2003
NuSMV 2: An OpenSource tool for symbolic model checking. Zbl 1010.68766
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
81
2002
SAT-based decision procedures for classical modal logics. Zbl 1003.03011
Giunchiglia, Enrico; Tacchella, Armando; Giunchiglia, Fausto
6
2002
Dependent and independent variables in propositional satisfiability. Zbl 1014.68528
Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
4
2002
Integrating BDD-based and SAT-based symbolic model checking. Zbl 1057.68623
Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
3
2002
QUBE: A system for deciding quantified Boolean formulas satisfiability. Zbl 0988.68598
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
10
2001
Evaluating search heuristics and optimization techniques in propositional satisfiability. Zbl 0988.68608
Giunchiglia, Enrico; Maratea, Massimo; Tacchella, Armando; Zambonin, Davide
5
2001
An analysis of backjumping and trivial truth in quantified Boolean formulas satisfiability. Zbl 1007.68577
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
2
2001
Getting to the airport: The oldest planning problem in AI. Zbl 0979.68099
Lifschitz, Vladimir; McCain, Norman; Remolina, Emilio; Tacchella, Armando
6
2000
A subset-matching size-bounded cache for satisfiability in modal logics. Zbl 0963.68178
Giunchiglia, Enrico; Tacchella, Armando
3
2000
SAT vs. translation based decision procedures for modal logics: A comparative evaluation. Zbl 1033.03500
Giunchiglia, Enrico; Giunchiglia, Fausto; Sebastiani, Roberto; Tacchella, Armando
3
2000
SAT-based decision procedures for classical modal logics. Zbl 0980.03010
Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando
1
2000
System description: *SAT. A platform for the development of modal decision procedures. Zbl 0963.68538
Giunchiglia, Enrico; Tacchella, Armando
1
2000
all top 5

Cited by 443 Authors

9 Giunchiglia, Enrico
8 Lonsing, Florian
6 Biere, Armin
6 Cimatti, Alessandro
6 Maratea, Marco
6 Tacchella, Armando
5 Egly, Uwe
5 Pulina, Luca
5 Seidl, Martina
5 Vardi, Moshe Y.
5 Woltran, Stefan
4 Beyersdorff, Olaf
4 Cook, Byron
4 Gheorghe, Marian
4 Jiang, Jie-Hong Roland
4 Konur, Savas
4 Roveri, Marco
4 Szeider, Stefan
3 Balabanov, Valeriy
3 Blinkhorn, Joshua
3 Ipate, Florentin
3 Janota, Mikoláš
3 Kröning, Daniel
3 Lee, Joohyung
3 Slivovsky, Friedrich
3 Traverso, Paolo
3 Wintersteiger, Christoph M.
2 Amadini, Roberto
2 Amendola, Giovanni
2 Armando, Alessandro
2 Bertoli, Piergiorgio
2 Brim, Luboš
2 Castellini, Claudio
2 Ceterchi, Rodica
2 Chen, Hubie
2 De Giacomo, Giuseppe
2 Dixon, Clare
2 Dodaro, Carmine
2 Duan, Zhenhua
2 Ehlers, Rüdiger
2 Fichte, Johannes Klaus
2 Gabbrielli, Maurizio
2 Hinde, Luke
2 Hoos, Holger H.
2 Hustadt, Ullrich
2 Junttila, Tommi A.
2 Kleine Büning, Hans
2 Kontchakov, Roman
2 Kronegger, Martin
2 Lefticaru, Raluca
2 Li, Jianwen
2 Lifschitz, Vladimir
2 Lindauer, Marius
2 Luo, Xiangyu
2 Marques-Silva, João P.
2 Mauro, Jacopo
2 Moffitt, Michael D.
2 Narizzano, Massimo
2 Nightingale, Peter W.
2 Ouaknine, Joel O.
2 Patrizi, Fabio
2 Peitl, Tomáš
2 Pistore, Marco
2 Pu, Geguang
2 Rawlings, Blake C.
2 Rümmer, Philipp
2 Saad, Emad W.
2 Sattar, Abdul
2 Schuppan, Viktor
2 Sebastiani, Roberto
2 Seshia, Sanjit Arunkumar
2 Su, Kaile
2 Subramani, Krishnan
2 Tahar, Sofiène
2 Tian, Cong
2 Tonetta, Stefano
2 Turner, Hudson
2 van de Pol, Jan Cornelis
2 Veith, Helmut
2 Wu, Cheng
2 Xu, Ke
2 Zakharyaschev, Michael Viktorovich
2 Zhang, Lijun
2 Zhang, Nan
2 Zhu, Shufang
1 Abate, Alessandro
1 Abed, Sa’ed
1 Adorna, Henry Natividad
1 Adzkiya, Dieky
1 Ahmed, Waqar
1 Aït Mohamed, Otmane
1 Akman, Varol
1 Alaiba, Vasile
1 Alur, Rajeev
1 Andrei, Ştefan
1 Antoniotti, Marco
1 Areces, Carlos
1 Arieli, Ofer
1 Artale, Alessandro
1 Artikis, Alexander
...and 343 more Authors

Citations by Year