Preprocessing Techniques for QBFs. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (RCRA, 2008)

Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. - Paolo Marin; Matthew Lewis 004; Tobias Schubert 001; Massimo Narizzano; Bernd Becker 001; Enrico Giunchiglia (RCRA@AI*IA, 2009)

Comparison of knowledge sharing strategies in a parallel QBF solver. - Paolo Marin; Massimo Narizzano; Enrico Giunchiglia; Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001 (HPCS, 2009)

PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. - Matthew Lewis 004; Paolo Marin; Tobias Schubert 001; Massimo Narizzano; Bernd Becker 001; Enrico Giunchiglia (SAT, 2009)

Reasoning with Quantified Boolean Formulas. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (Handbook of Satisfiability, 2009)

sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (SAT, 2010)

QuBE7.0. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (J. Satisf. Boolean Model. Comput., 2010)

Parallel QBF Solving with Advanced Knowledge Sharing. - Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001; Paolo Marin; Massimo Narizzano; Enrico Giunchiglia (Fundam. Informaticae, 2011)

ALLQBF Solving by Computational Learning. - Bernd Becker 001; Rüdiger Ehlers; Matthew Lewis 004; Paolo Marin (ATVA, 2012)

Verification of partial designs using incremental QBF solving. - Paolo Marin; Christian Miller; Matthew Lewis 004; Bernd Becker 001 (DATE, 2012)

Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). - Paolo Marin; Christian Miller; Bernd Becker 001 (SAT, 2012)

QBF with Soft Variables. - Sven Reimer; Matthias Sauer 002; Paolo Marin; Bernd Becker 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

An Empirical Perspective on Ten Years of QBF Solving. - Paolo Marin; Massimo Narizzano; Luca Pulina; Armando Tacchella; Enrico Giunchiglia (RCRA@AI*IA, 2015)

Verification of partial designs using incremental QBF. - Christian Miller; Paolo Marin; Bernd Becker 001 (AI Commun., 2015)

Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. - Paolo Marin; Massimo Narizzano; Luca Pulina; Armando Tacchella; Enrico Giunchiglia (Fundam. Informaticae, 2016)

HQSpre - An Effective Preprocessor for QBF and DQBF. - Ralf Wimmer 001; Sven Reimer; Paolo Marin; Bernd Becker 001 (TACAS (1), 2017)

Reasoning with Quantified Boolean Formulas. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (Handbook of Satisfiability, 2021)