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

The PACE 2019 Parameterized Algorithms and Computational Experiments Challenge: The Fourth Iteration (Invited Paper)., , und . IPEC, Volume 148 von LIPIcs, Seite 25:1-25:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Exploiting Database Management Systems and Treewidth for Counting., , , und . PADL, Volume 12007 von Lecture Notes in Computer Science, Seite 151-167. Springer, (2020)Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard., und . CoRR, (2020)Breaking Symmetries with RootClique and LexTopSort., , und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 286-303. Springer, (2020)Answer Set Solving with Bounded Treewidth Revisited., , , und . LPNMR, Volume 10377 von Lecture Notes in Computer Science, Seite 132-145. Springer, (2017)Treewidth and Counting Projected Answer Sets., und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 105-119. Springer, (2019)Advanced tools and methods for treewidth-based problem solving.. it Inf. Technol., 65 (1-2): 65-74 (Mai 2023)Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?, und . CoRR, (2024)IASCAR: Incremental Answer Set Counting by Anytime Refinement., , , und . CoRR, (2023)Parallel Empirical Evaluations: Resilience despite Concurrency., , , und . AAAI, Seite 8004-8012. AAAI Press, (2024)