Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Jie-Hong Roland Jiang, Prof. Dr.
Adresse Humboldt Research Fellow

Department of Electrical Engineering
National Taiwan University
Taipei, Taiwan 10617

und

Technische Fakultät
Albert-Ludwigs-Universität
Georges-Köhler-Allee 51
79110 Freiburg
Büro 051-01-033
Telefon ++49 +761 203-8153
eMail jhjiang@cc.ee.ntu.edu.tw
Website http://cc.ee.ntu.edu.tw/~jhjiang/

Jie-Hong Roland Jiang

Jahre: 2019 | 2016

    2019

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
      A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving
      2019 33th AAAI Conference on Artificial Intelligence (AAAI-19)

    2016

    Icon: top nach oben zur Jahresübersicht
    • Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl, Alan Mishchenko, Robert K. Brayton
      2QBF: Challenges and Solutions
      2016 International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer-Verlag, Nummer: 9710, Seiten: 453 - 469