Paolo Marin

According to our database, Paolo Marin authored at least 17 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Reasoning with Quantified Boolean Formulas.

Enrico Giunchiglia, Paolo Marin, Massimo Narizzano

Proceedings of the Handbook of Satisfiability - Second Edition, 2021

2017

HQSpre - An Effective Preprocessor for QBF and DQBF.

Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

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

2015

Verification of partial designs using incremental QBF.

Christian Miller, Paolo Marin, Bernd Becker

AI Commun., 2015

An Empirical Perspective on Ten Years of QBF Solving.

Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia

Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014

QBF with Soft Variables.

Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

2012

Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation).

Paolo Marin, Christian Miller, Bernd Becker

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Verification of partial designs using incremental QBF solving.

Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

ALLQBF Solving by Computational Learning.

Bernd Becker, Rüdiger Ehlers, Matthew Lewis, Paolo Marin

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Parallel QBF Solving with Advanced Knowledge Sharing.

Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia

Fundam. Informaticae, 2011

2010

QuBE7.0.

Enrico Giunchiglia, Paolo Marin, Massimo Narizzano

J. Satisf. Boolean Model. Comput., 2010

sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning.

Enrico Giunchiglia, Paolo Marin, Massimo Narizzano

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2009

Reasoning with Quantified Boolean Formulas.

Enrico Giunchiglia, Paolo Marin, Massimo Narizzano

Proceedings of the Handbook of Satisfiability, 2009

PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.

Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Comparison of knowledge sharing strategies in a parallel QBF solver.

Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker

Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009

Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver.

Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia

Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009

2008

Preprocessing Techniques for QBFs.

Enrico Giunchiglia, Paolo Marin, Massimo Narizzano

Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2008