Travelled to:1 × Germany
2 × Canada
2 × Italy
2 × USA
2 × United Kingdom
Collaborated with:E.Giunchiglia A.Tacchella P.Marin D.L.Berre L.Simon M.Y.Vardi D.Angeletti A.Puddu S.Sabina I.P.Gent A.G.D.Rowley M.D.T.Lewis T.Schubert B.Becker
Talks about:qbf (5) reason (3) structur (2) quantifi (2) instanc (2) solver (2) world (2) real (2) qbfs (2) base (2)
Person: Massimo Narizzano
DBLP: Narizzano:Massimo
Contributed to:
2010
20092009
2006200420052003
20012001Wrote 10 papers:
- SAT-2010-GiunchigliaMN #effectiveness #equivalence #named #preprocessor #reasoning
- sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning (EG, PM, MN), pp. 85–98.
- ICST-2009-AngelettiGNPS #analysis #automation #generative #testing
- Automatic Test Generation for Coverage Analysis of ERTMS Software (DA, EG, MN, AP, SS), pp. 303–306.
- SAT-2009-LewisMSNBG #distributed #named
- PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing (MDTL, PM, TS, MN, BB, EG), pp. 509–523.
- DATE-2006-GiunchigliaNT #quantifier
- Quantifier structure in search based procedures for QBFs (EG, MN, AT), pp. 812–817.
- SAT-2004-GiunchigliaNT #reasoning
- QBF Reasoning on Real-World Instances (EG, MN, AT), pp. 247–254.
- SAT-J-2004-BerreNST05 #comparative #evaluation
- The Second QBF Solvers Comparative Evaluation (DLB, MN, LS, AT), pp. 376–392.
- SAT-J-2004-GiunchigliaNT05 #reasoning
- QBF Reasoning on Real-World Instances (EG, MN, AT), pp. 105–121.
- SAT-2003-GentGNRT #data type
- Watched Data Structures for QBF Solvers (IPG, EG, MN, AGDR, AT), pp. 25–36.
- IJCAR-2001-GiunchigliaNT #named #quantifier #satisfiability
- QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability (EG, MN, AT), pp. 364–369.
- SAT-2001-GiunchigliaNTV #library #performance #satisfiability #towards
- Towards an Efficient Library for SAT: a Manifesto (EG, MN, AT, MYV), pp. 290–310.