Publikace
Počet publikací: 82
2018
-
Meta-kernelization using well-structured modulators
Discrete Applied Mathematics, rok: 2018, ročník: 248, vydání: 1, DOI
-
On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem
STACS 2018, rok: 2018
-
On the complexity of rainbow coloring problems
Discrete Applied Mathematics, rok: 2018, ročník: 246, vydání: 1, DOI
-
Parameterized Algorithms for the Matrix Completion Problem
Proceedings of the 35th International Conference on Machine Learning (ICML), rok: 2018
-
Small Resolution Proofs for QBF using Dependency Treewidth
STACS 2018, rok: 2018
-
Solving Problems on Graphs of High Rank-Width
Algorithmica, rok: 2018, ročník: 80, vydání: 2, DOI
-
Sum-of-Products with Default Values: Algorithms and Complexity Results
IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), rok: 2018
-
The complexity landscape of decompositional parameters for ILP
ARTIFICIAL INTELLIGENCE, rok: 2018, ročník: 257, vydání: 1, DOI
-
Unary Integer Linear Programming with Structural Restrictions
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, rok: 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, rok: 2017