Hjem
Click
Sigve Hortemo Sæthers bilde

Sigve Hortemo Sæther

Stipendiat
  • E-postSigve.Sether@uib.no
  • Telefon+47 454 25 994
  • Besøksadresse
    HIB - Thormøhlensgt. 55
    Rom: 
    3149
  • Postadresse
    Postboks 7803
    5020 Bergen
Tidsskriftartikler
  • Golovach, Petr; Heggernes, Pinar; Kante, Mamadou; Kratsch, Dieter; Sæther, Sigve Hortemo; Villanger, Yngve. 2015. Output-polynomial enumeration on graphs of bounded (local) linear mim-width. Lecture Notes in Computer Science. 9472: 248-258.
  • Sæther, Sigve Hortemo. 2015. Solving Hamiltonian Cycle by an EPT Algorithm for a Non-sparse Parameter. Lecture Notes in Computer Science. 8959: 205-216. doi: 10.1007/978-3-319-14974-5_20
  • Sæther, Sigve Hortemo; Telle, Jan Arne. 2015. Between treewidth and clique-width. Algorithmica. Published ahead of print. 36 sider. doi: 10.1007/s00453-015-0033-7
  • Sæther, Sigve Hortemo; Telle, Jan Arne; Vatshelle, Martin. 2015. Solving #SAT and MaxSAT by dynamic programming. The journal of artificial intelligence research. 54: 59-82.
  • Telle, Jan Arne; Sæther, Sigve Hortemo; jeong, jisu. 2015. Maximum Matching Width: New Characterizations and a Fast Algorithm for Dominating Set. Lecture Notes in Computer Science.
  • Oum, Sang-il; Sæther, Sigve Hortemo; Vatshelle, Martin. 2014. Faster algorithms for vertex partitioning problems parameterized by clique-width. Theoretical Computer Science. 535: 16-24. doi: 10.1016/j.tcs.2014.03.024
  • Telle, Jan Arne; Sæther, Sigve Hortemo. 2014. Between treewidth and clique-width. Lecture Notes in Computer Science. 8747: 396-407.
  • Telle, Jan Arne; Vatshelle, Martin; Sæther, Sigve Hortemo. 2014. Solving MAXSAT and #SAT on structured CNF formulas. Lecture Notes in Computer Science. 8561: 16-31.
  • Heggernes, Pinar; Sæther, Sigve Hortemo. 2012. Broadcast Domination on Block Graphs in Linear Time. Lecture Notes in Computer Science. 7353: 172-183. doi: 10.1007/978-3-642-30642-6_17
Rapporter/avhandlinger
  • Sæther, Sigve Hortemo. 2015. Choice of parameter for DP-based FPT algorithms: four case studies. Universitetet i Bergen.

Se fullstendig oversikt over publikasjoner i CRIStin.