Robert Ganian

Privatdoz. / PhD

Research Focus

Research Areas

  • Parameterized Complexity, Reasoning

About

My primary research area is the study of complexity and algorithmic aspects of problems in Artificial Intelligence and Reasoning. My work also spans areas such as Graph Theory, Constraint Optimization and Logic.

For more information, please visit my website: https://www.ac.tuwien.ac.at/people/rganian/

Role

2019

2018

2017

  • Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting / R. Ganian, M. S. Ramanujan, S. Szeider / ACM Transactions on Algorithms, 13 (2017), 1 - 31
  • Backdoor Treewidth for SAT / R. Ganian, M. S. Ramanujan, S. Szeider / in: "Theory and Applications of Satisfiability Testing - SAT 2017", Springer-Verlag, 2017, ISBN: 978-3-319-66262-6, 20 - 37
  • New Width Parameters for Model Counting / R. Ganian, S. Szeider / in: "Theory and Applications of Satisfiability Testing - SAT 2017", International Conference on Theory and Applications of Satisfiability Testing, 2017, ISBN: 978-3-319-66262-6, 38 - 52
  • Combining Treewidth and Backdoors for CSP / R. Ganian, M. S. Ramanujan, S. Szeider / in: "34th Symposium on Theoretical Aspects of Computer Science", issued by: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik; Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017, ISBN: 978-3-95977-028-6, 429 - 445
  • Solving Problems on Graphs of High Rank-Width / E. Eiben, R. Ganian, S. Szeider / Algorithmica (online), 80 (2017), 80; 30 pages
  • Going Beyond Primal Treewidth for (M)ILP / R. Ganian, S. Ordyniak, M. Ramanujan / Talk: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, California; 2017-02-04 - 2017-02-09; in: "Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence", (2017), ISBN: 978-1-57735-781-0; 815 - 821
  • Towards a Polynomial Kernel for Directed Feedback Vertex Set / B. Bergnougnoux, E. Eiben, R. Ganian, S. Ordyniak, M. Ramanujan / Talk: Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg Denmark; 2017-08-21 - 2017-08-25; in: "Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science", Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, (2017), ISBN: 978-3-95977-046-0; 1 - 15

2016

  • Meta-kernelization with structural parameters / R. Ganian, F. Slivovsky, S. Szeider / Journal of Computer and System Sciences, 82 (2016), 333 - 346
  • Quantified conjunctive queries on partially ordered sets / S. Bova, R. Ganian, S. Szeider / Theoretical Computer Science, 618 (2016), 72 - 84
  • A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion / E. Eiben, R. Ganian, O. Kwon / Talk: International Symposium on Mathematical Foundations of Computer Science (MFCS), Krakau, Polen; 2016-08-22 - 2016-08-26; in: "Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science", (2016), ISBN: 978-3-95977-016-3; 1 - 14
  • Counting Linear Extensions Parameterizations by Treewidth / E. Eiben, R. Ganian, K. Kangas, S. Ordyniak / Talk: ESA Workshop, Aarhus, Denmark; 2016-08-22 - 2016-08-24; in: "Proceedings of the 24th Annual European Symposium on Algorithms", (2016), ISBN: 978-3-95977-015-6; 1 - 18
  • On the Complexity Landscape of Connected f-Factor Problems* / R. Ganian, N. Narayanaswamy, S. Ordyniak, C. Rahul, M. S. Ramanujan / Talk: International Symposium on Mathematical Foundations of Computer Science (MFCS), Krakau, Polen; 2016-08-22 - 2016-08-26; in: "Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science", (2016), ISBN: 978-3-95977-016-3; 1 - 14
  • Using Decomposition-Parameters for QBF: Mind the Prefix! / E. Eiben, R. Ganian, S. Ordyniak / Talk: AAAI Conference, Phoenix, Arizona, USA; 2016-02-12 - 2016-02-17; in: "Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence", (2016), ISBN: 978-1-57735-760-5; 964 - 970
  • The Complexity Landscape of Decompositional Parameters for ILP / R. Ganian, S. Ordyniak / Talk: AAAI Conference, Phoenix, Arizona, USA; 2016-02-12 - 2016-02-17; in: "Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence", (2016), ISBN: 978-1-57735-760-5; 710 - 716
  • On Existential MSO and its Relation to ETH / R. Ganian, R. de Haan, I. Kanj, S. Szeider / Talk: International Symposium on Mathematical Foundations of Computer Science (MFCS), Krakau, Polen; 2016-08-22 - 2016-08-26; in: "Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science", (2016), ISBN: 978-3-95977-016-3; 1 - 14
  • Backdoors to Tractable Valued CSP / R. Ganian, M. S. Ramanujan, S. Szeider / Talk: International Conference on Principles and Practice of Constraint Programming (CP), Toulouse, Frankreich; 2016-09-05 - 2016-09-09; in: "Principles and Practice of Constraint Programming (Proceedings of 22nd CP)", LNCS, 9898 (2016), ISBN: 978-3-319-44952-4; 233 - 250
  • Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting / R. Ganian, M. S. Ramanujan, S. Szeider / Talk: ACM-SIAM Symposium on Discrete Algorithms (SODA), Arlington, VA, USA; 2016-01-10 - 2016-01-12; in: "Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms", (2016), ISBN: 978-1-61197-433-1; 1670 - 1681
  • Polynomial-Time Construction of Optimal MPI Derived Datatype Trees / R. Ganian, M. Kalany, S. Szeider, J. Träff / Talk: IEEE 30th International Parallel and Distributed Processing Symposium (IPDPS 2016), Chicago, Illinois, USA; 2016-05-23 - 2016-05-27; in: "Proceedings of the IEEE 30th International Parallel and Distributed Processing Symposium (IPDPS 2016)", IEEE Computer Society, (2016), ISBN: 978-1-5090-2140-6; 638 - 647

2015

2014

2013

  • Meta-Kernelization with Structural Parameters / R. Ganian / Talk: Workshop on Graph Classes, Optimization, and Width Parameters (GROW), Santorini Island, Greece; 2013-10-09 - 2013-10-11
  • Meta-Kernelization with Structural Parameters / R. Ganian / Talk: Contemporary Trends in Theoretical Computer Science (STTI 2013), Prague, Czech Republic; 2013-06-07 - 2013-06-08
  • FO Model Checking of Interval Graphs / R. Ganian, P. Hlinený, D. Král, J. Obdrálek, J. Schwartz, J. Teska / Talk: International Colloquium on Automata, Languages and Programming (ICALP), Riga, Latvia; 2013-07-08 - 2013-07-12; in: "Automata, Languages, and Programming - 40th International Colloquium", Springer / LNCS, 7966 (2013), ISBN: 978-3-642-39211-5; 250 - 262
  • Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes / R. Ganian, J. Obdrálek / Talk: International Workshop on Combinatorial Algorithms (IWOCA), Rouen, France; 2013-07-10 - 2013-07-12; in: "Combinatorial Algorithms - 24th International Workshop", T. Lecroq, L. Mouchard (ed.); Springer / LNCS, 8288 (2013), ISBN: 978-3-642-45277-2; 164 - 177
  • Meta-kernelization with Structural Parameters / R. Ganian, F. Slivovsky, St. Szeider / Talk: International Symposium on Mathematical Foundations of Computer Science (MFCS), Klosterneuburg, Austria; 2013-08-26 - 2013-08-30; in: "The 38th International Symposium on Mathematical Foundations of Computer Science, Proceedings", K. Chatterjee, J. Sgall (ed.); Springer / LNCS, 8087 (2013), ISBN: 978-3-642-40312-5; 457 - 468