| 2007 |
|---|
| 18 | EE | Massimo Narizzano,
Luca Pulina,
Armando Tacchella:
Ranking and Reputation Systems in the QBF Competition.
AI*IA 2007: 97-108 |
| 17 | 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 |
|---|
| 16 | EE | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
Quantifier structure in search based procedures for QBFs.
DATE 2006: 812-817 |
| 15 | EE | Massimo Narizzano,
Luca Pulina,
Armando Tacchella:
The QBFEVAL Web Portal.
JELIA 2006: 494-497 |
| 14 | 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) |
| 13 | EE | Massimo Narizzano,
Luca Pulina,
Armando Tacchella:
Report of the Third QBF Solvers Evaluation.
JSAT 2(1-4): 145-164 (2006) |
| 2004 |
|---|
| 12 | EE | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
Monotone Literals and Learning in QBF Reasoning.
CP 2004: 260-273 |
| 11 | EE | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
QuBE++: An Efficient QBF Solver.
FMCAD 2004: 201-213 |
| 10 | EE | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
QBF Reasoning on Real-World Instances.
SAT 2004 |
| 9 | EE | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
QBF Reasoning on Real-World Instances.
SAT (Selected Papers 2004: 105-121 |
| 8 | EE | Daniel Le Berre,
Massimo Narizzano,
Laurent Simon,
Armando Tacchella:
The Second QBF Solvers Comparative Evaluation.
SAT (Selected Papers 2004: 376-392 |
| 2003 |
|---|
| 7 | EE | Ian P. Gent,
Enrico Giunchiglia,
Massimo Narizzano,
Andrew G. D. Rowley,
Armando Tacchella:
Watched Data Structures for QBF Solvers.
SAT 2003: 25-36 |
| 6 | EE | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
Backjumping for Quantified Boolean Logic satisfiability.
Artif. Intell. 145(1-2): 99-120 (2003) |
| 2002 |
|---|
| 5 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
Learning for Quantified Boolean Logic Satisfiability.
AAAI/IAAI 2002: 649-654 |
| 2001 |
|---|
| 4 | EE | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability.
AI*IA 2001: 111-122 |
| 3 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
Backjumping for Quantified Boolean Logic Satisfiability.
IJCAI 2001: 275-281 |
| 2 | EE | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability.
IJCAR 2001: 364-369 |
| 1 | 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) |
