Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Aile Ge-Ernst, M.Sc.
Adresse Technische Fakultät
Albert-Ludwigs-Universität
Georges-Köhler-Allee 51
79110 Freiburg
Büro Gebäude 51, Raum 02...032
Telefon +49 (0) 761 203 8196
eMail geernsta@informatik.uni-freiburg.de


Jahre: 2019

    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)
    • Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
      Localizing Quantifiers for DQBF
      2019 Proceedings of the Conference on Formal Methods in Computer Aided Design (FMCAD), IEEE Computer Society Press
    • Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
      Quantifier Localization for DQBF
      2019 Int'l Workshop on Logic and Synthesis
    • Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
      Quantifier Localization for DQBF
      CoRR, Band: abs/1905.04755, 2019