Følg
Sigve Hortemo Sæther
Sigve Hortemo Sæther
PhD Research Fellow, University of Bergen
Verifisert e-postadresse på ii.uib.no - Startside
Tittel
Sitert av
Sitert av
År
Solving# SAT and MAXSAT by dynamic programming
SH Sæther, JA Telle, M Vatshelle
Journal of Artificial Intelligence Research 54, 59-82, 2015
50*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
332018
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
302016
Faster algorithms for vertex partitioning problems parameterized by clique-width
S Oum, SH Sæther, M Vatshelle
Theoretical Computer Science 535, 16-24, 2014
272014
Between treewidth and clique-width
SH Sæther, JA Telle
Algorithmica 75, 218-253, 2016
232016
Broadcast Domination on Block Graphs in Linear Time
P Heggernes, SH Sæther
Computer Science–Theory and Applications, 172-183, 2012
132012
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
102015
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
92018
On satisfiability problems with a linear structure
S Gaspers, C Papadimitriou, SH Sæther, JA Telle
arXiv preprint arXiv:1602.07876, 2016
62016
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
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
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–14