| Reasoning with quantified boolean formulas E Giunchiglia, P Marin, M Narizzano Handbook of satisfiability, 761-780, 2009 | 74 | 2009 |
| 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 | 58 | 2010 |
| 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 | 51 | 2017 |
| QuBE7. 0 E Giunchiglia, P Marin, M Narizzano Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 83-88, 2010 | 38 | 2010 |
| 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 | 28 | 2016 |
| 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 | 24 | 2012 |
| ALLQBF solving by computational learning B Becker, R Ehlers, M Lewis, P Marin International Symposium on Automated Technology for Verification and …, 2012 | 20 | 2012 |
| 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 | 19 | 2009 |
| QBF with soft variables S Reimer, M Sauer, P Marin, B Becker Electronic Communications of the EASST 70, 2014 | 11 | 2014 |
| 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 | 11 | 2011 |
| Incremental QBF preprocessing for partial design verification P Marin, C Miller, B Becker International Conference on Theory and Applications of Satisfiability …, 2012 | 9 | 2012 |
| Conflict and solution driven constraint learning in QBF P Marin, E Giunchiglia, M Narizzano Doctoral Program of Constraint Programming Conference 2010, 2010 | 9 | 2010 |
| sQueezBF: An Effective Preprocessor for QBF E Giunchiglia, P Marin, M Narizzano Proc. of QiCP 2008, 2008 | 8 | 2008 |
| Verification of partial designs using incremental QBF C Miller, P Marin, B Becker AI Communications 28 (2), 283-307, 2015 | 6 | 2015 |
| An effective preprocessor for QBF pre-reasoning E Giunchiglia, P Marin, M Narizzano 2nd International Workshop on Quantification in Constraint Programming (QiCP), 2008 | 5 | 2008 |
| 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 | 3 | 2015 |
| 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 | 3 | 2009 |
| 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 | 2 | 2012 |
| Preprocessing Techniques for QBFs. E Giunchiglia, P Marin, M Narizzano RCRA, 2008 | 2 | 2008 |
| Old Challenges and new Solutions: a Comprehensive Assessment of SOTA QBF Solvers P Marin | | 2015 |
