Follow
Paolo Marin
Paolo Marin
Unknown affiliation
Verified email at bankmedia.de
Title
Cited by
Cited by
Year
Reasoning with quantified boolean formulas
E Giunchiglia, P Marin, M Narizzano
Handbook of satisfiability, 761-780, 2009
722009
sQueezeBF: An effective preprocessor for QBFs based on equivalence reasoning
E Giunchiglia, P Marin, M Narizzano
International Conference on Theory and Applications of Satisfiability …, 2010
572010
HQSpre–an effective preprocessor for QBF and DQBF
R Wimmer, S Reimer, P Marin, B Becker
International Conference on Tools and Algorithms for the Construction and …, 2017
472017
QuBE7. 0
E Giunchiglia, P Marin, M Narizzano
Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 83-88, 2010
382010
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows
P Marin, M Narizzano, L Pulina, A Tacchella, E Giunchiglia
Fundamenta Informaticae 149 (1-2), 133-158, 2016
242016
Verification of partial designs using incremental QBF solving
P Marin, C Miller, M Lewis, B Becker
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 623-628, 2012
242012
PaQuBE: Distributed QBF solving with advanced knowledge sharing
M Lewis, P Marin, T Schubert, M Narizzano, B Becker, E Giunchiglia
Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009
192009
ALLQBF solving by computational learning
B Becker, R Ehlers, M Lewis, P Marin
International Symposium on Automated Technology for Verification and …, 2012
182012
QBF with soft variables
S Reimer, M Sauer, P Marin, B Becker
Electronic Communications of the EASST 70, 2014
112014
Parallel QBF solving with advanced knowledge sharing
M Lewis, T Schubert, B Becker, P Marin, M Narizzano, E Giunchiglia
Fundamenta Informaticae 107 (2-3), 139-166, 2011
112011
Incremental QBF preprocessing for partial design verification
P Marin, C Miller, B Becker
International Conference on Theory and Applications of Satisfiability …, 2012
92012
Conflict and solution driven constraint learning in QBF
P Marin, E Giunchiglia, M Narizzano
Doctoral Program of Constraint Programming Conference 2010, 2010
92010
sQueezBF: An Effective Preprocessor for QBF
E Giunchiglia, P Marin, M Narizzano
Proc. of QiCP 2008, 2008
82008
Verification of partial designs using incremental QBF
C Miller, P Marin, B Becker
AI Communications 28 (2), 283-307, 2015
62015
An effective preprocessor for QBF pre-reasoning
E Giunchiglia, P Marin, M Narizzano
2nd International Workshop on Quantification in Constraint Programming (QiCP), 2008
52008
An Empirical Perspective on Ten Years of QBF Solving.
P Marin, M Narizzano, L Pulina, A Tacchella, E Giunchiglia
RCRA@ AI* IA, 62-75, 2015
32015
Comparison of knowledge sharing strategies in a parallel QBF solver
P Marin, M Narizzano, E Giunchiglia, M Lewis, T Schubert, B Becker
2009 International Conference on High Performance Computing & Simulation …, 2009
32009
A dynamic QBF preprocessing approach for the verification of incomplete designs
C Miller, P Marin, B Becker
International Workshop on Experimental Evaluation of Algorithms for Solving …, 2012
22012
Preprocessing Techniques for QBFs.
E Giunchiglia, P Marin, M Narizzano
RCRA, 2008
22008
Old Challenges and new Solutions: a Comprehensive Assessment of SOTA QBF Solvers
P Marin
2015
The system can't perform the operation now. Try again later.
Articles 1–20