Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Tobias Paxian
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 761 203 8154
Fax +49 761 203 8142
eMail paxiant@informatik.uni-freiburg.de

Tobias Paxian

Jahre: 2018

    2018

    Icon: top nach oben zur Jahresübersicht
    • Tobias Paxian, Sven Reimer, Bernd Becker
      Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT
      2018 International Conference on Theory and Applications of Satisfiability Testing, Springer, Band: 10929, Seiten: 37 - 53