Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Paolo Marin, PhD Paolo Marin, PhD
Adresse Technische Fakultät Albert-Ludwigs-Universität Georges Köhler Allee, Gebäude 051 79110 Freiburg im Breisgau Deutschland
Büro Gebäude 51, Raum 01..030
Telefon +49 (0)761 203 8154
Fax +49 (0)761 203 8142
eMail paolo@informatik.uni-freiburg.de
Sprechstunde Nach Vereinbarung

Paolo Marin

Jahre: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008

    2016

    Icon: top nach oben zur Jahresübersicht

    2015

    Icon: top nach oben zur Jahresübersicht
    • Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
      An Empirical Perspective on Ten Years of QBF Solving
      2015 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2015), CEUR-WS.org, Band: 1451, Seiten: 62 - 75
    • Christian Miller, Paolo Marin, Bernd Becker
      Verification of Partial Designs Using Incremental QBF
      2015 Ai Commun, Band: 28, Nummer: 2, Seiten: 283 - 307

    2014

    Icon: top nach oben zur Jahresübersicht
    • Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker
      QBF with Soft Variables
      2014 International Workshop on Automated Verification of Critical Systems (AVOCS)

    2013

    Icon: top nach oben zur Jahresübersicht
    • Matthias Sauer, Sven Reimer, Stefan Kupferschmid, Tobias Schubert, Paolo Marin, Bernd Becker
      Applying BMC, Craig Interpolation and MAX-SAT to Functional Justification in Sequential Circuits
      2013 RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

    2012

    Icon: top nach oben zur Jahresübersicht
    • Christian Miller, Paolo Marin, Bernd Becker
      A Dynamic QBF Preprocessing Approach for the Verification of Incomplete Designs
      2012 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Band: 19
    • Bernd Becker, Ruediger Ehlers, Matthew Lewis, Paolo Marin
      ALLQBF Solving by Computational Learning
      2012 Automated Technology for Verification and Analysis, Springer, Band: 7561, Seiten: 370 - 384
    • Paolo Marin, Christian Miller, Bernd Becker
      Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation)
      2012 Int'l Conf. on Theory and Applications of Satisfiability Testing, Springer, Band: 7317, Seiten: 473 - 474
    • Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker
      Verification of Partial Designs Using Incremental QBF Solving
      2012 Conf. on Design, Automation and Test in Europe, Seiten: 623 - 628

    2011

    Icon: top nach oben zur Jahresübersicht
    • Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
      Parallel QBF Solving with Advanced Knowledge Sharing
      2011 Fundamenta Informaticae, Band: 107, Nummer: 2-3, Seiten: 139 - 166

    2010

    Icon: top nach oben zur Jahresübersicht
    • Paolo Marin, Enrico Giunchiglia, Massimo Narizzano
      Conflict and Solution Driven Constraint Learning in QBF
      2010 Doctoral Programme CP 2010
    • Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
      QuBE7.0, System Description
      2010 Journal of Satisfiability, Band: 7, Nummer: 8, Seiten: 83 - 88
    • Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
      sQueezeBF: An effective preprocessor for QBFs
      2010 Theory and Applications of Satisfiability Testing, Springer Verlag, Band: 6175, Seiten: 85 - 98

    2009

    Icon: top nach oben zur Jahresübersicht
    • Paolo Marin, Matthew Lewis, Massimo Narizzano, Tobias Schubert, Enrico Giunchiglia, Bernd Becker
      Comparison of Knowledge Sharing Strategies in a Parallel QBF Solver
      2009 High-Performance Computing and Simulation Conference, Seiten: 161 - 167
    • Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
      Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver
      2009 RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
    • Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
      PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing
      2009 Int'l Conf. on Theory and Applications of Satisfiability Testing, Band: 5584, Seiten: 509 - 523

    2008

    Icon: top nach oben zur Jahresübersicht
    • Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
      An Effective Preprocessor for QBF pre-reasoning
      2008 Int'l Workshop on Quantification in Constraint Programming