Robert Ganian

M. S. Ramanujan

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Solving Integer Linear Programs with a Small Number of Global Variables and Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Going Beyond Primal Treewidth for (M)ILP.

[BibT_eX]

[DOI]

Sebastian Ordyniak

M. S. Ramanujan

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Model Checking Existential Logic on Partially Ordered Sets.

[BibT_eX]

[DOI]

Simone Bova

ACM Trans. Comput. Log., 2016

Quantified conjunctive queries on partially ordered sets.

[BibT_eX]

[DOI]

Simone Bova

Theor. Comput. Sci., 2016

Are there any good digraph width measures?

[BibT_eX]

[DOI]

J. Comb. Theory, Ser. B, 2016

Meta-kernelization with structural parameters.

[BibT_eX]

[DOI]

Friedrich Slivovsky

J. Comput. Syst. Sci., 2016

Polynomial-Time Construction of Optimal MPI Derived Datatype Trees.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016

Backdoors to Tractable Valued CSP.

[BibT_eX]

[DOI]

M. S. Ramanujan

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Improving Vertex Cover as a Graph Parameter.

[BibT_eX]

[DOI]

Discret. Math. Theor. Comput. Sci., 2015

FO Model Checking of Interval Graphs

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

Polynomial-time Construction of Optimal Tree-structured Communication Data Layout Descriptions.

[BibT_eX]

[DOI]

CoRR, 2015

Community Structure Inspired Algorithms for SAT and #SAT.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

2014

Lower bounds on the complexity of MSO<sub>1</sub> model-checking.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2014

Digraph width measures in parameterized algorithmics.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2014

2013

Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

A unified approach to polynomial algorithms on graphs of bounded (bi-)rank-width.

[BibT_eX]

[DOI]

Eur. J. Comb., 2013

Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Algorithms - 24th International Workshop, 2013

2012

Using Neighborhood Diversity to Solve Hard Problems

[BibT_eX]

[DOI]

CoRR, 2012

Lower Bounds on the Complexity of MSO_1 Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, 2012

When Trees Grow Low: Shrubs and Fast MSO1.

[BibT_eX]

[DOI]

Patrice Ossona de Mendez

Reshma Ramadurai

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

2011

Lower Bounds on the Complexity of MSO1 Model-Checking

[BibT_eX]

[DOI]

CoRR, 2011

Clique-width: When Hard Does Not Mean Impossible.

[BibT_eX]

[DOI]

Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011

New Results on the Complexity of the Max- and Min-Rep Problems.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics.

[BibT_eX]

[DOI]

Proceedings of the Parameterized and Exact Computation - 6th International Symposium, 2011

2010

On parse trees and Myhill-Nerode-type tools for handling graphs of bounded rank-width.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2010

New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Thread Graphs, Linear Rank-Width and Their Algorithmic Applications.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Algorithms - 21st International Workshop, 2010

2009

The Parameterized Complexity of Oriented Colouring.

[BibT_eX]

[DOI]

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

Better Polynomial Algorithms on Graphs of Bounded Rank-Width.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Algorithms, 20th International Workshop, 2009

2008

Automata approach to graphs of bounded rank-width.

[BibT_eX]