Paolo Marin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2009–2017
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | TACAS | HQSpre - An Effective Preprocessor for QBF and DQBF. | Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker |
| 2012 | ATVA | ALLQBF Solving by Computational Learning. | Bernd Becker, Rdiger Ehlers, Matthew Lewis, Paolo Marin |
| 2012 | DATE | Verification of partial designs using incremental QBF solving. | Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker |
| 2012 | SAT | Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). | Paolo Marin, Christian Miller, Bernd Becker |
| 2010 | SAT | sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. | Enrico Giunchiglia, Paolo Marin, Massimo Narizzano |
| 2009 | SAT | PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. | Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia |