Publications
Total number of publications: 82
2018
-
Meta-kernelization using well-structured modulators
Discrete Applied Mathematics, year: 2018, volume: 248, edition: 1, DOI
-
On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem
STACS 2018, year: 2018
-
On the complexity of rainbow coloring problems
Discrete Applied Mathematics, year: 2018, volume: 246, edition: 1, DOI
-
Parameterized Algorithms for the Matrix Completion Problem
Proceedings of the 35th International Conference on Machine Learning (ICML), year: 2018
-
Small Resolution Proofs for QBF using Dependency Treewidth
STACS 2018, year: 2018
-
Solving Problems on Graphs of High Rank-Width
Algorithmica, year: 2018, volume: 80, edition: 2, DOI
-
Sum-of-Products with Default Values: Algorithms and Complexity Results
IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), year: 2018
-
The complexity landscape of decompositional parameters for ILP
ARTIFICIAL INTELLIGENCE, year: 2018, volume: 257, edition: 1, DOI
-
Unary Integer Linear Programming with Structural Restrictions
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, year: 2018
2017
-
Backdoor Treewidth for SAT
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, year: 2017