Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Stefan Disch, Dipl.-Inf. Stefan Disch, Dipl.-Inf.
Adresse Fakultät für angewandte Wissenschaften
Albert-Ludwigs-Universität
Georges Köhler Allee, Gebäude 51
79110 Freiburg im Breisgau
Deutschland
Büro Gebäude 51, Raum 02..031
Telefon +49 (0)761 203 8187
Fax +49 (0)761 203 8178
eMail disch@informatik.uni-freiburg.de
Website http://www.informatik.uni-freiburg.de/~disch

Stefan Disch

Jahre: 2009 | 2008

    2009

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid
      Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
      2009 Tools and Algorithms for the Construction and Analysis of Systems, Springer, Band: 5505, Seiten: 383 - 397

    2008

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid
      Using an SMT Solver and Craig Interpolation to Detect and Remove Redundant Linear Constraints in Representations of Non-Convex Polyhedra
      2008 Int'l Workshop on Satisfiability Modulo Theories, Seiten: 18 - 26