Paolo Marin

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 4

Top Topics

Quantified Boolean Formulae

Signature Verification

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Fundam. Informaticae

Publications

Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker
HQSpre - An Effective Preprocessor for QBF and DQBF. TACAS (1) (2017)
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Fundam. Informaticae 149 (1-2) (2016)
Christian Miller, Paolo Marin, Bernd Becker
Verification of partial designs using incremental QBF. AI Commun. 28 (2) (2015)
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
An Empirical Perspective on Ten Years of QBF Solving. RCRA@AI*IA (2015)
Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker
QBF with Soft Variables. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Bernd Becker, Rüdiger Ehlers, Matthew Lewis, Paolo Marin
ALLQBF Solving by Computational Learning. ATVA (2012)
Paolo Marin, Christian Miller, Bernd Becker
Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). SAT (2012)
Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker
Verification of partial designs using incremental QBF solving. DATE (2012)
Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia
Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Informaticae 107 (2-3) (2011)
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. SAT (2010)
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
QuBE7.0. J. Satisf. Boolean Model. Comput. 7 (2-3) (2010)
Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. RCRA@AI*IA (2009)
Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker
Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS (2009)
Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT (2009)
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
Preprocessing Techniques for QBFs. RCRA (2008)