Armando Tacchella

2007
37	EE	Massimo Narizzano, Luca Pulina, Armando Tacchella: Ranking and Reputation Systems in the QBF Competition. AI*IA 2007: 97-108
36	EE	Luca Pulina, Armando Tacchella: A Multi-engine Solver for Quantified Boolean Formulas. CP 2007: 574-589
35	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
34	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Quantifier structure in search based procedures for QBFs. DATE 2006: 812-817
33	EE	Massimo Narizzano, Luca Pulina, Armando Tacchella: The QBFEVAL Web Portal. JELIA 2006: 494-497
32	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)
2005
31	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
30		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
29	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Monotone Literals and Learning in QBF Reasoning. CP 2004: 260-273
28	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QuBE++: An Efficient QBF Solver. FMCAD 2004: 201-213
27	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QBF Reasoning on Real-World Instances. SAT 2004
26	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QBF Reasoning on Real-World Instances. SAT (Selected Papers 2004: 105-121
25	EE	Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella: The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392
2003
24	EE	Enrico Giunchiglia, Marco Maratea, Armando Tacchella: (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. CP 2003: 842-846
23	EE	Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella: Watched Data Structures for QBF Solvers. SAT 2003: 25-36
22	EE	Daniel Le Berre, Laurent Simon, Armando Tacchella: Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. SAT 2003: 468-485
21	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. 145(1-2): 99-120 (2003)
20	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
19		Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Learning for Quantified Boolean Logic Satisfiability. AAAI/IAAI 2002: 649-654
18	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
17	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
16	EE	Enrico Giunchiglia, Marco Maratea, Armando Tacchella: Dependent and Independent Variables in Propositional Satisfiability. JELIA 2002: 296-307
15		Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia: SAT-Based Decision Procedures for Classical Modal Logics. J. Autom. Reasoning 28(2): 143-171 (2002)
2001
14	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA 2001: 111-122
13	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
12		Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Backjumping for Quantified Boolean Logic Satisfiability. IJCAI 2001: 275-281
11	EE	Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin: Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR 2001: 347-363
10	EE	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. IJCAR 2001: 364-369
9		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)
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	[31]
2	Daniel Le Berre	[22] [25]
3	Claudio Castellini	[20] [31]
4	Alessandro Cimatti	[17] [18]
5	Edmund M. Clarke	[18]
6	Fady Copty	[13]
7	Limor Fix	[13]
8	Ranan Fraer	[13]
9	Ian P. Gent	[23]
10	Enrico Giunchiglia	[1] [2] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [23] [24] [26] [27] [28] [29] [30] [31] [32] [34] [35]
11	Fausto Giunchiglia	[1] [2] [4] [5] [15] [18] [31]
12	Gila Kamhi	[13]
13	Marco Maratea	[11] [16] [24]
14	Massimo Narizzano	[10] [12] [14] [19] [21] [23] [25] [26] [27] [28] [29] [32] [33] [34] [35] [37]
15	Marco Pistore	[17] [18]
16	Luca Pulina	[33] [36] [37]
17	Marco Roveri	[17] [18]
18	Andrew G. D. Rowley	[23]
19	Roberto Sebastiani	[1] [5] [17] [18]
20	Laurent Simon	[22] [25]
21	Moshe Y. Vardi	[13]
22	Davide Zambonin	[11]