Uni-Logo
English       Login
Lehrstuhl für 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


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

    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)
    • Christian Miller, Paolo Marin, Bernd Becker
      Verification of Partial Designs Using Incremental QBF
      2014 Accepted for publication in AI Commun

    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