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 | 29 | 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 | 25 | 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 |
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 | 13 | 2011 |
QBF with soft variables S Reimer, M Sauer, P Marin, B Becker Electronic Communications of the EASST 70, 2014 | 11 | 2014 |
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 | 7 | 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 |