Sigve Hortemo Sæther
Sigve Hortemo Sæther
PhD Research Fellow, University of Bergen
Verified email at ii.uib.no - Homepage
Title
Cited by
Cited by
Year
Solving# SAT and MAXSAT by dynamic programming
SH Sæther, JA Telle, M Vatshelle
Journal of Artificial Intelligence Research 54, 59-82, 2015
39*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 (2), 714-741, 2018
282018
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
212016
Faster algorithms for vertex partitioning problems parameterized by clique-width
S Oum, SH Sæther, M Vatshelle
Theoretical Computer Science 535, 16-24, 2014
212014
Between treewidth and clique-width
SH Sæther, JA Telle
Algorithmica 75 (1), 218-253, 2016
162016
Broadcast Domination on Block Graphs in Linear Time
P Heggernes, SH Sæther
Computer Science–Theory and Applications, 172-183, 2012
92012
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
82015
On satisfiability problems with a linear structure
S Gaspers, C Papadimitriou, SH Sæther, JA Telle
arXiv preprint arXiv:1602.07876, 2016
52016
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
32015
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
22018
Solving hamiltonian cycle by an EPT algorithm for a non-sparse parameter
SH Sæther
Discrete Applied Mathematics 228, 88-97, 2017
22017
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
The system can't perform the operation now. Try again later.
Articles 1–14