Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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