BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Narizzano:Massimo

Contributed to:

SAT 20102010
ICST 20092009
SAT 20092009
DATE 20062006
SAT 20042004
SAT 20042005
SAT 20032003
IJCAR 20012001
SAT 20012001

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.