RNDr. Robert Ganian, Ph.D.
Total number of publications: 82
2017
-
Combining Treewidth and Backdoors for CSP
34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany, year: 2017
-
Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting
ACM Transactions on Algorithms, year: 2017, volume: 13, edition: 2, DOI
-
Going Beyond Primal Treewidth for {(M)ILP}
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA, year: 2017
-
New Width Parameters for Model Counting
Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, year: 2017
-
On Structural Parameterizations of the Edge Disjoint Paths Problem
28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand, year: 2017
-
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017, year: 2017
-
Towards a Polynomial Kernel for Directed Feedback Vertex Set
42nd International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark, year: 2017
2016
-
A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion
41st International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland, year: 2016
-
Are there any good digraph width measures?
Journal of Combinatorial Theory, Ser B, year: 2016, volume: 116, edition: 1, DOI
-
Backdoors to Tractable Valued CSP
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, year: 2016