Examples of Bachelor and MSc Theses with supervisor and/or examiner at TCSLAB

A comparison of SL- and unit-resolution search rules for stratified logic programs, Victor Lagerqvist, 2010.

An Evaluation of Shortest Path Algorithms on Real Metropolitan Area Networks, David Johansson, 2008.

Analyzing and Adapting Graph Algorithms for Large Persistent Graphs, Patrik Larsson, 2008.

A CLP(FD)-based model checker for CTL, Marcus Eriksson, 2005.

Tight Approximability Results for the Maximum Solution Equation Problem over Abelian Groups, Fredrik Kuivinen, 2005.

Supermodularity and the Complexity of Max CSP, Mikael Klasson, 2004.

An Algorithm for Finding Minimum Transversals in Rank-3 Hypergraphs, Magnus Wahlström, 2001.

Automatisk stavningsanalys av midifiler, Vilhelm Dahllöf, 2000. Awarded IDA's and Dataföreningen's Prize for Best Final Thesis.


Page responsible: Ulf Nilsson
Last updated: 2012-05-07