Select Publications
Conference Papers
, 2009, 'A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between', in Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms, pp. 606 - 615, http://dx.doi.org/10.1137/1.9781611973068.67
, 2009, 'Exact exponential-time algorithms for finding bicliques in a graph', in 8th Cologne Twente Workshop on Graphs and Combinatorial Optimization Ctw 2009 Proceedings of the Conference, pp. 205 - 209
, 2008, 'On independent sets and bicliques in graphs', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 171 - 182, http://dx.doi.org/10.1007/978-3-540-92248-3_16
, 2008, 'Iterative compression and exact algorithms', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 335 - 346, http://dx.doi.org/10.1007/978-3-540-85238-4_27
, 2008, 'A moderately exponential time algorithm for full degree spanning tree', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 479 - 489, http://dx.doi.org/10.1007/978-3-540-79228-4_42
, 2007, 'Improved exact algorithms for counting 3- and 4-colorings', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 65 - 74, http://dx.doi.org/10.1007/978-3-540-73545-8_9
, 2006, 'Branching and treewidth based exact algorithms', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 16 - 25, http://dx.doi.org/10.1007/11940128_4
, 2006, 'A branch-and-reduce algorithm for finding a minimum independent dominating set in graphs', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 78 - 89, http://dx.doi.org/10.1007/11917496_8
, 2006, 'Exponential time algorithms for the minimum dominating set problem on some graph classes', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 148 - 159, http://dx.doi.org/10.1007/11785293_16
, 2006, 'Finding a minimum feedback vertex set in time O(1.7548n)', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 184 - 191, http://dx.doi.org/10.1007/11847250_17
Conference Proceedings (Editor of)
Fernau H; Gaspers S; Klasing R, (eds.), 2024, 'SOFSEM 2024: Theory and Practice of Computer Science - 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings', Springer, Vol. 14519
Gaspers S; Walsh T, (ed.), 2017, 'Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings', Springer, Vol. 10491
Preprints
, 2025, A Faster Randomized Algorithm for Vertex Cover: An Automated Approach, http://dx.doi.org/10.48550/arxiv.2510.09027
, 2024, A Piecewise Approach for the Analysis of Exact Algorithms, http://arxiv.org/abs/2402.10015v3
, 2023, Quantum Algorithms for Graph Coloring and other Partitioning, Covering, and Packing Problems, http://arxiv.org/abs/2311.08042v1
, 2020, From Matching with Diversity Constraints to Matching with Regional Quotas, http://arxiv.org/abs/2002.06748v1
, 2019, Enumeration of Preferred Extensions in Almost Oriented Digraphs, http://arxiv.org/abs/1907.01006v1
, 2018, $(2P_2,K_4)$-Free Graphs are 4-Colorable, http://arxiv.org/abs/1807.05547v2
, 2018, Colouring Square-Free Graphs without Long Induced Paths, http://arxiv.org/abs/1805.08270v1
, 2017, The Parameterized Complexity of Positional Games, http://arxiv.org/abs/1704.08536v1
, 2016, On Satisfiability Problems with a Linear Structure, http://arxiv.org/abs/1602.07876v1
, 2015, Exact Algorithms via Monotone Local Search, http://arxiv.org/abs/1512.01621v1
, 2015, On the Number of Minimal Separators in Graphs, http://arxiv.org/abs/1503.01203v2