Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Model Interpretability through the lens of Computational Complexity., , , und . NeurIPS, (2020)A Symbolic Language for Interpreting Decision Trees., , , , und . CoRR, (2023)The Computational Complexity of Evil Hangman., und . CoRR, (2020)The Packing Chromatic Number of the Infinite Square Grid Is at Least 14., und . SAT, Volume 236 von LIPIcs, Seite 21:1-21:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Pentagon Minimization without Computation., und . CoRR, (2024)Toward Optimal Radio Colorings of Hypercubes via SAT-solving., und . LPAR, Volume 94 von EPiC Series in Computing, Seite 386-404. EasyChair, (2023)The Packing Chromatic Number of the Infinite Square Grid is 15., und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 389-406. Springer, (2023)PackIt!: Gamified Rectangle Packing., , und . FUN, Volume 291 von LIPIcs, Seite 14:1-14:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Formal Verification of the Empty Hexagon Number., , , , , und . ITP, Volume 309 von LIPIcs, Seite 35:1-35:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Augmenting Online Algorithms with $\varepsilon$-Accurate Predictions., , , und . NeurIPS, (2022)