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

Proceedings of the elevent Workshop on Answer Set Programming and Other Computing Paradigms 2018., and . CoRR, (2018)Backdoors to Normality for Disjunctive Logic Programs, and . CoRR, (2013)The Good, the Bad, and the Odd: Cycles in Answer-Set Programs.. ESSLLI Student Sessions, volume 7415 of Lecture Notes in Computer Science, page 78-90. Springer, (2011)Towards an integrated health research process: A cloud-based approach., , , , , , , and . BigData, page 2813-2818. IEEE Computer Society, (2016)Treewidth and Counting Projected Answer Sets., and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 105-119. Springer, (2019)Answer Set Solving with Bounded Treewidth Revisited., , , and . LPNMR, volume 10377 of Lecture Notes in Computer Science, page 132-145. Springer, (2017)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)Backdoors to Normality for Disjunctive Logic Programs., and . ACM Trans. Comput. Log., 17 (1): 7:1-7:23 (2015)Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution., , and . J. Artif. Intell. Res., (2011)Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution., , and . CoRR, (2014)