Armando Tacchella

	2009
47		Luca Pulina, Armando Tacchella: Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas. FroCos 2009: 350-365
46		Cristina De Ambrosi, Cristiano Ghersi, Armando Tacchella: An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles. IEA/AIE 2009: 449-458
45		Luca Pulina, Armando Tacchella: A Structural Approach to Reasoning with Quantified Boolean Formulas. IJCAI 2009: 596-602
44		Roberto Sebastiani, Armando Tacchella: SAT Techniques for Modal and Description Logics. Handbook of Satisfiability 2009: 781-824
43		Luca Pulina, Armando Tacchella: A self-adaptive multi-engine solver for quantified Boolean formulas. Constraints 14(1): 80-116 (2009)
	2008
42		Luca Pulina, Armando Tacchella: Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. LPAR 2008: 528-542
41		Luca Pulina, Armando Tacchella: QuBIS: An (In)complete Solver for Quantified Boolean Formulas. MICAI 2008: 34-43
40		Ewald Speckenmeyer, Armando Tacchella, Vasco M. Manquinho, Chu Min Li: Guest Editors Conclusion. JSAT 4(2-4): (2008)
	2007
39		Massimo Narizzano, Luca Pulina, Armando Tacchella: Ranking and Reputation Systems in the QBF Competition. AI*IA 2007: 97-108
38		Luca Pulina, Armando Tacchella: A Multi-engine Solver for Quantified Boolean Formulas. CP 2007: 574-589
37		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		Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Quantifier structure in search based procedures for QBFs. DATE 2006: 812-817
35		Massimo Narizzano, Luca Pulina, Armando Tacchella: The QBFEVAL Web Portal. JELIA 2006: 494-497
34		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		Massimo Narizzano, Luca Pulina, Armando Tacchella: Report of the Third QBF Solvers Evaluation. JSAT 2(1-4): 145-164 (2006)
	2005
32		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		Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Monotone Literals and Learning in QBF Reasoning. CP 2004: 260-273
29		Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QuBE++: An Efficient QBF Solver. FMCAD 2004: 201-213
28		Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QBF Reasoning on Real-World Instances. SAT 2004
27		Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QBF Reasoning on Real-World Instances. SAT (Selected Papers 2004: 105-121
26		Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella: The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392
	2003
25		Enrico Giunchiglia, Marco Maratea, Armando Tacchella: (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. CP 2003: 842-846
24		Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella: Watched Data Structures for QBF Solvers. SAT 2003: 25-36
23		Daniel Le Berre, Laurent Simon, Armando Tacchella: Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. SAT 2003: 468-485
22		Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. 145(1-2): 99-120 (2003)
21		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		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		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		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		Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA 2001: 111-122
14		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		Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin: Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR 2001: 347-363
11		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		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		Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: The SAT-Based Approach for Classical Modal Logics. AI*IA 1999: 95-106
3		Armando Tacchella: *SAT System Description. Description Logics 1999
2		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	Cristina De Ambrosi	[46]
2	Alessandro Armando	[32]
3	Daniel Le Berre	[23] [26]
4	Claudio Castellini	[21] [32]
5	Alessandro Cimatti	[18] [19]
6	Edmund M. Clarke	[19]
7	Fady Copty	[14]
8	Limor Fix	[14]
9	Ranan Fraer	[14]
10	Ian P. Gent	[24]
11	Cristiano Ghersi	[46]
12	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]
13	Fausto Giunchiglia	[1] [2] [4] [5] [16] [19] [32]
14	Gila Kamhi	[14]
15	Chu Min Li	[40]
16	Vasco M. Manquinho	[40]
17	Marco Maratea	[12] [17] [25]
18	Massimo Narizzano	[9] [11] [13] [15] [20] [22] [24] [26] [27] [28] [29] [30] [33] [34] [35] [36] [37] [39]
19	Marco Pistore	[18] [19]
20	Luca Pulina	[33] [35] [38] [39] [41] [42] [43] [45] [47]
21	Marco Roveri	[18] [19]
22	Andrew G. D. Rowley	[24]
23	Roberto Sebastiani	[1] [5] [18] [19] [44]
24	Laurent Simon	[23] [26]
25	Ewald Speckenmeyer	[40]
26	Moshe Y. Vardi	[9] [14]
27	Davide Zambonin	[12]

Colors in the list of coauthors