Solving# SAT and MAXSAT by dynamic programming SH Sæther, JA Telle, M Vatshelle Journal of Artificial Intelligence Research 54, 59-82, 2015 | 51* | 2015 |
Output-polynomial enumeration on graphs of bounded (local) linear mim-width PA Golovach, P Heggernes, MM Kanté, D Kratsch, SH Sæther, ... Algorithmica 80, 714-741, 2018 | 33 | 2018 |
Hardness of computing width parameters based on branch decompositions over the vertex set SH Sæther, M Vatshelle Theoretical Computer Science 615, 120-125, 2016 | 31 | 2016 |
Faster algorithms for vertex partitioning problems parameterized by clique-width S Oum, SH Sæther, M Vatshelle Theoretical Computer Science 535, 16-24, 2014 | 28 | 2014 |
Between treewidth and clique-width SH Sæther, JA Telle Algorithmica 75, 218-253, 2016 | 23 | 2016 |
Broadcast Domination on Block Graphs in Linear Time P Heggernes, SH Sæther Computer Science–Theory and Applications, 172-183, 2012 | 13 | 2012 |
Maximum matching width: new characterizations and a fast algorithm for dominating set J Jeong, SH Sæther, JA Telle arXiv preprint arXiv:1507.02384, 2015 | 10 | 2015 |
Maximum matching width: New characterizations and a fast algorithm for dominating set J Jeong, SH Sæther, JA Telle Discrete Applied Mathematics 248, 114-124, 2018 | 9 | 2018 |
On satisfiability problems with a linear structure S Gaspers, C Papadimitriou, SH Sæther, JA Telle arXiv preprint arXiv:1602.07876, 2016 | 6 | 2016 |
Hardness of computing width parameters based on branch decompositions over the vertex set SH Sæther, M Vatshelle Electronic Notes in Discrete Mathematics 49, 301-308, 2015 | 3 | 2015 |
Solving hamiltonian cycle by an EPT algorithm for a non-sparse parameter SH Sæther Discrete Applied Mathematics 228, 88-97, 2017 | 2 | 2017 |
Maximum matching width: new characterizations and J Jeong, SH Sæther, JA Telle | | 2017 |
Output-Polynomial Enumeration on Graphs of Bounded (Local) Linear MIM-Width D Kratsch, SH Sæther, Y Villanger Algorithms and Computation: 26th International Symposium, ISAAC 2015, Nagoya …, 2015 | | 2015 |
Choice of parameter for DP-based FPT algorithms: four case studies SH Sæther The University of Bergen, 2015 | | 2015 |