Travelled to:1 × Germany
2 × United Kingdom
Collaborated with:E.Giunchiglia M.Narizzano M.D.T.Lewis B.Becker C.Miller T.Schubert
Talks about:solv (2) qbf (2) preprocessor (1) squeezebf (1) increment (1) distribut (1) knowledg (1) partial (1) equival (1) reason (1)
Person: Paolo Marin
DBLP: Marin:Paolo
Contributed to:
2012
20102009Wrote 4 papers:
- DATE-2012-MarinMLB #design #incremental #using #verification
- Verification of partial designs using incremental QBF solving (PM, CM, MDTL, BB), pp. 623–628.
- SAT-2010-GiunchigliaMN #effectiveness #equivalence #named #preprocessor #reasoning
- sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning (EG, PM, MN), pp. 85–98.
- SAT-2009-LewisMSNBG #distributed #named
- PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing (MDTL, PM, TS, MN, BB, EG), pp. 509–523.