Massimo Narizzano Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina: Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST 2009: 287-294
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew D. T. Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia: PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT 2009: 509-523
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Paolo Marin, Massimo Narizzano: Reasoning with Quantified Boolean Formulas. Handbook of Satisfiability 2009: 761-780
2007
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Narizzano, Luca Pulina, Armando Tacchella: Ranking and Reputation Systems in the QBF Competition. AI*IA 2007: 97-108
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Quantifier structure in search based procedures for QBFs. DATE 2006: 812-817
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Narizzano, Luca Pulina, Armando Tacchella: The QBFEVAL Web Portal. JELIA 2006: 494-497
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Narizzano, Luca Pulina, Armando Tacchella: Report of the Third QBF Solvers Evaluation. JSAT 2(1-4): 145-164 (2006)
2004
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Monotone Literals and Learning in QBF Reasoning. CP 2004: 260-273
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QuBE++: An Efficient QBF Solver. FMCAD 2004: 201-213
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QBF Reasoning on Real-World Instances. SAT 2004
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QBF Reasoning on Real-World Instances. SAT (Selected Papers 2004: 105-121
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella: The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392
2003
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella: Watched Data Structures for QBF Solvers. SAT 2003: 25-36
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. 145(1-2): 99-120 (2003)
2002
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Learning for Quantified Boolean Logic Satisfiability. AAAI/IAAI 2002: 649-654
2001
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA 2001: 111-122
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Backjumping for Quantified Boolean Logic Satisfiability. IJCAI 2001: 275-281
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. IJCAR 2001: 364-369
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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)

Coauthor Index

1Damiano Angeletti [21]
2Bernd Becker [20]
3Daniel Le Berre [8]
4Ian P. Gent [7]
5Enrico Giunchiglia [1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [14] [16] [17] [19] [20] [21]
6Matthew D. T. Lewis [20]
7Paolo Marin [19] [20]
8Alessandra Puddu [21]
9Luca Pulina [13] [15] [18]
10Andrew G. D. Rowley [7]
11Salvatore Sabina [21]
12Tobias Schubert [20]
13Laurent Simon [8]
14Armando Tacchella [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
15Moshe Y. Vardi [1]

Copyright © Fri Nov 27 15:43:12 2009 by Michael Ley (ley@uni-trier.de)