Paolo Marin

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