Armando Tacchella

2008
42	EE	Luca Pulina, Armando Tacchella: Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. LPAR 2008: 528-542
41	EE	Luca Pulina, Armando Tacchella: QuBIS: An (In)complete Solver for Quantified Boolean Formulas. MICAI 2008: 34-43
40	EE	Ewald Speckenmeyer, Armando Tacchella, Vasco Manquinho, Chu Min Li: Guest Editors Conclusion. JSAT 4(2-4): (2008)
2007
39	EE	Massimo Narizzano, Luca Pulina, Armando Tacchella: Ranking and Reputation Systems in the QBF Competition. AI*IA 2007: 97-108
38	EE	Luca Pulina, Armando Tacchella: A Multi-engine Solver for Quantified Boolean Formulas. CP 2007: 574-589
37	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Quantifier Structure in Search-Based Procedures for QBFs. IEEE Trans. on CAD of Integrated Circuits and Systems 26(3): 497-507 (2007)
2006
36	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Quantifier structure in search based procedures for QBFs. DATE 2006: 812-817
35	EE	Massimo Narizzano, Luca Pulina, Armando Tacchella: The QBFEVAL Web Portal. JELIA 2006: 494-497
34	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. J. Artif. Intell. Res. (JAIR) 26: 371-416 (2006)
33	EE	Massimo Narizzano, Luca Pulina, Armando Tacchella: Report of the Third QBF Solvers Evaluation. JSAT 2(1-4): 145-164 (2006)
2005
32	EE	Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning 2005: 46-58
2004
31		Enrico Giunchiglia, Armando Tacchella: Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers Springer 2004
30	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Monotone Literals and Learning in QBF Reasoning. CP 2004: 260-273
29	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QuBE++: An Efficient QBF Solver. FMCAD 2004: 201-213
28	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QBF Reasoning on Real-World Instances. SAT 2004
27	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QBF Reasoning on Real-World Instances. SAT (Selected Papers 2004: 105-121
26	EE	Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella: The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392
2003
25	EE	Enrico Giunchiglia, Marco Maratea, Armando Tacchella: (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. CP 2003: 842-846
24	EE	Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella: Watched Data Structures for QBF Solvers. SAT 2003: 25-36
23	EE	Daniel Le Berre, Laurent Simon, Armando Tacchella: Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. SAT 2003: 468-485
22	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. 145(1-2): 99-120 (2003)
21	EE	Claudio Castellini, Enrico Giunchiglia, Armando Tacchella: SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artif. Intell. 147(1-2): 85-117 (2003)
2002
20		Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Learning for Quantified Boolean Logic Satisfiability. AAAI/IAAI 2002: 649-654
19	EE	Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV 2002: 359-364
18	EE	Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella: Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCos 2002: 49-56
17	EE	Enrico Giunchiglia, Marco Maratea, Armando Tacchella: Dependent and Independent Variables in Propositional Satisfiability. JELIA 2002: 296-307
16		Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia: SAT-Based Decision Procedures for Classical Modal Logics. J. Autom. Reasoning 28(2): 143-171 (2002)
2001
15	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA 2001: 111-122
14	EE	Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi: Benefits of Bounded Model Checking at an Industrial Setting. CAV 2001: 436-453
13		Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Backjumping for Quantified Boolean Logic Satisfiability. IJCAI 2001: 275-281
12	EE	Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin: Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR 2001: 347-363
11	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. IJCAR 2001: 364-369
10		Enrico Giunchiglia, Armando Tacchella: A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics. Ann. Math. Artif. Intell. 33(1): 39-67 (2001)
9	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi: Towards an Efficient Library for SAT: a Manifesto. Electronic Notes in Discrete Mathematics 9: 290-310 (2001)
2000
8		Enrico Giunchiglia, Armando Tacchella: System Description: *SAT: A Platform for the Development of Modal Decision Procedures. CADE 2000: 291-296
7		Enrico Giunchiglia, Armando Tacchella: A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. TABLEAUX 2000: 237-251
6		Armando Tacchella: Evaluating *SAT on TANCS 2000 Benchmarks. TABLEAUX 2000: 77-81
5		Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella: SAT vs. translation based decision procedures for modal logics: a comparative evaluation. Journal of Applied Non-Classical Logics 10(2): (2000)
1999
4	EE	Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: The SAT-Based Approach for Classical Modal Logics. AI*IA 1999: 95-106
3	EE	Armando Tacchella: *SAT System Description. Description Logics 1999
2	EE	Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: *SAT, KSATC, DLP and TA: a comparative analysis. Description Logics 1999
1998
1		Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella: More Evaluation of Decision Procedures for Modal Logics. KR 1998: 626-635

Coauthor Index

1	Alessandro Armando	[32]
2	Daniel Le Berre	[23] [26]
3	Claudio Castellini	[21] [32]
4	Alessandro Cimatti	[18] [19]
5	Edmund M. Clarke	[19]
6	Fady Copty	[14]
7	Limor Fix	[14]
8	Ranan Fraer	[14]
9	Ian P. Gent	[24]
10	Enrico Giunchiglia	[1] [2] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [24] [25] [27] [28] [29] [30] [31] [32] [34] [36] [37]
11	Fausto Giunchiglia	[1] [2] [4] [5] [16] [19] [32]
12	Gila Kamhi	[14]
13	Chu Min Li	[40]
14	Vasco Manquinho	[40]
15	Marco Maratea	[12] [17] [25]
16	Massimo Narizzano	[9] [11] [13] [15] [20] [22] [24] [26] [27] [28] [29] [30] [33] [34] [35] [36] [37] [39]
17	Marco Pistore	[18] [19]
18	Luca Pulina	[33] [35] [38] [39] [41] [42]
19	Marco Roveri	[18] [19]
20	Andrew G. D. Rowley	[24]
21	Roberto Sebastiani	[1] [5] [18] [19]
22	Laurent Simon	[23] [26]
23	Ewald Speckenmeyer	[40]
24	Moshe Y. Vardi	[9] [14]
25	Davide Zambonin	[12]

Colors in the list of coauthors