Publication | Date of Publication | Type |
---|
Maximizing Social Welfare in Score-Based Social Distance Games | 2024-02-28 | Paper |
Hedonic diversity games: a complexity picture with more than two colors | 2023-12-14 | Paper |
Testing upward planarity of partial 2-trees | 2023-08-16 | Paper |
Edge-cut width: an algorithmically driven analogue of treewidth based on edge cuts | 2023-05-05 | Paper |
Group activity selection with few agent types | 2023-04-28 | Paper |
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF | 2023-04-26 | Paper |
On the parameterized complexity of clustering problems for incomplete data | 2023-03-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q5874284 | 2023-02-07 | Paper |
Parameterized complexity of envy-free resource allocation in social networks | 2023-01-04 | Paper |
Algorithmic Applications of Tree-Cut Width | 2022-11-15 | Paper |
Parameterized Algorithms for Queue Layouts | 2022-11-14 | Paper |
Threshold Treewidth and Hypertree Width | 2022-08-30 | Paper |
Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth. | 2022-07-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q5089197 | 2022-07-18 | Paper |
On Strict (Outer-)Confluent Graphs | 2022-06-28 | Paper |
On Covering Segments with Unit Intervals | 2022-06-03 | Paper |
Sum-of-Products with Default Values: Algorithms and Complexity Results | 2022-05-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q5075791 | 2022-05-11 | Paper |
On Existential MSO and Its Relation to ETH | 2022-03-07 | Paper |
An efficient algorithm for counting Markov equivalent DAGs | 2022-03-02 | Paper |
Parameterized Algorithms for Queue Layouts | 2021-12-01 | Paper |
New width parameters for SAT and \#SAT | 2021-11-02 | Paper |
The complexity landscape of decompositional parameters for ILP: programs with few global variables and constraints | 2021-11-02 | Paper |
Measuring what matters: a hybrid approach to dynamic programming with treewidth | 2021-07-06 | Paper |
Graphs with at most two moplexes | 2021-06-18 | Paper |
On structural parameterizations of the edge disjoint paths problem | 2021-06-11 | Paper |
Towards a polynomial kernel for directed feedback vertex set | 2021-04-19 | Paper |
The power of cut-based parameters for computing edge-disjoint paths | 2021-03-26 | Paper |
On structural parameterizations of the bounded-degree vertex deletion problem | 2021-02-01 | Paper |
Parameterized Algorithms for Book Embedding Problems | 2020-12-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q5136255 | 2020-11-25 | Paper |
On strict (outer-)confluent graphs | 2020-10-26 | Paper |
Parameterized algorithms for book embedding problems | 2020-10-26 | Paper |
Small Resolution Proofs for QBF using Dependency Treewidth | 2020-08-05 | Paper |
On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem | 2020-08-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q5111250 | 2020-05-26 | Paper |
Using decomposition-parameters for QBF: mind the prefix! | 2020-03-13 | Paper |
The power of cut-based parameters for computing edge disjoint paths | 2020-02-24 | Paper |
Integer programming and incidence treedepth | 2020-02-06 | Paper |
SAT-Encodings for Treecut Width and Treedepth | 2019-09-13 | Paper |
On Strict (Outer-)Confluent Graphs | 2019-08-14 | Paper |
On the complexity landscape of connected \(f\)-factor problems | 2019-05-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4625695 | 2019-02-25 | Paper |
Parameterized complexity of asynchronous border minimization | 2019-01-11 | Paper |
Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting | 2018-11-05 | Paper |
Meta-kernelization using well-structured modulators | 2018-09-17 | Paper |
A single-exponential fixed-parameter algorithm for distance-hereditary vertex deletion | 2018-09-07 | Paper |
Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting | 2018-07-16 | Paper |
On the complexity of rainbow coloring problems | 2018-06-27 | Paper |
The complexity landscape of decompositional parameters for ILP | 2018-05-16 | Paper |
Model checking existential logic on partially ordered sets | 2018-04-23 | Paper |
Combining Treewidth and Backdoors for CSP. | 2018-04-19 | Paper |
Solving problems on graphs of high rank-width | 2018-04-06 | Paper |
A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion. | 2018-03-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4608602 | 2018-03-21 | Paper |
On Existential MSO and its Relation to ETH | 2018-03-21 | Paper |
Counting Linear Extensions: Parameterizations by Treewidth | 2018-03-02 | Paper |
Backdoor treewidth for SAT | 2017-11-15 | Paper |
New width parameters for model counting | 2017-11-15 | Paper |
Meta-kernelization using Well-structured Modulators | 2017-09-29 | Paper |
Model checking existential logic on partially ordered sets | 2017-07-12 | Paper |
Shrub-depth: Capturing Height of Dense Graphs | 2017-07-02 | Paper |
On the complexity of rainbow coloring problems | 2016-04-04 | Paper |
Quantified conjunctive queries on partially ordered sets | 2016-02-18 | Paper |
FO Model Checking of Interval Graphs | 2016-01-07 | Paper |
Are there any good digraph width measures? | 2015-12-11 | Paper |
Meta-kernelization with structural parameters | 2015-12-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q3455032 | 2015-12-03 | Paper |
Community Structure Inspired Algorithms for SAT and #SAT | 2015-11-20 | Paper |
Solving Problems on Graphs of High Rank-Width | 2015-10-30 | Paper |
Parameterized complexity of asynchronous border minimization | 2015-09-30 | Paper |
Algorithmic Applications of Tree-Cut Width | 2015-09-16 | Paper |
Quantified Conjunctive Queries on Partially Ordered Sets | 2015-09-15 | Paper |
Digraph width measures in parameterized algorithmics | 2014-04-02 | Paper |
Lower bounds on the complexity of \(\mathsf{MSO}_1\) model-checking | 2014-01-28 | Paper |
Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes | 2014-01-17 | Paper |
Meta-kernelization with Structural Parameters | 2013-09-20 | Paper |
FO Model Checking of Interval Graphs | 2013-08-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q5298910 | 2013-06-25 | Paper |
Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width | 2013-04-18 | Paper |
A unified approach to polynomial algorithms on graphs of bounded (bi-)rank-width | 2013-01-24 | Paper |
The Parameterized Complexity of Oriented Colouring | 2012-09-28 | Paper |
When Trees Grow Low: Shrubs and Fast MSO1 | 2012-09-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q2908838 | 2012-08-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q2904773 | 2012-08-23 | Paper |
Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics | 2012-06-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q3113705 | 2012-01-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q3104253 | 2011-12-19 | Paper |
Thread Graphs, Linear Rank-Width and Their Algorithmic Applications | 2011-05-19 | Paper |
New Results on the Complexity of the Max- and Min-Rep Problems | 2011-02-15 | Paper |
Are There Any Good Digraph Width Measures? | 2010-12-07 | Paper |
On parse trees and Myhill-Nerode-type tools for handling graphs of bounded rank-width | 2010-05-25 | Paper |
New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes | 2010-01-28 | Paper |
On Digraph Width Measures in Parameterized Algorithmics | 2010-01-14 | Paper |
Better Polynomial Algorithms on Graphs of Bounded Rank-Width | 2009-12-11 | Paper |