| |
| 2008 | ||
|---|---|---|
| 7 | EE | Luca Pulina, Armando Tacchella: Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. LPAR 2008: 528-542 |
| 6 | EE | Luca Pulina, Armando Tacchella: QuBIS: An (In)complete Solver for Quantified Boolean Formulas. MICAI 2008: 34-43 |
| 2007 | ||
| 5 | EE | Massimo Narizzano, Luca Pulina, Armando Tacchella: Ranking and Reputation Systems in the QBF Competition. AI*IA 2007: 97-108 |
| 4 | EE | Luca Pulina, Armando Tacchella: A Multi-engine Solver for Quantified Boolean Formulas. CP 2007: 574-589 |
| 2006 | ||
| 3 | EE | Massimo Narizzano, Luca Pulina, Armando Tacchella: The QBFEVAL Web Portal. JELIA 2006: 494-497 |
| 2 | Luca Pulina: Empirical Evaluation of Scoring Methods. STAIRS 2006: 108-119 | |
| 1 | EE | Massimo Narizzano, Luca Pulina, Armando Tacchella: Report of the Third QBF Solvers Evaluation. JSAT 2(1-4): 145-164 (2006) |
| 1 | Massimo Narizzano | [1] [3] [5] |
| 2 | Armando Tacchella | [1] [3] [4] [5] [6] [7] |