The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Massimo Narizzano: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  16. Automatic Test Generation for Coverage Analysis Using CBMC. [Citation Graph (, )][DBLP]


  17. PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. [Citation Graph (, )][DBLP]


  18. sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. [Citation Graph (, )][DBLP]


  19. Automatic Test Generation for Coverage Analysis of ERTMS Software. [Citation Graph (, )][DBLP]


  20. Evaluating and certifying QBFs: A comparison of state-of-the-art tools. [Citation Graph (, )][DBLP]


Search in 0.027secs, Finished in 0.028secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002