1 – 4 of 4
- show: 100
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2022
-
Mark
Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
2022)(
- Thesis › Doctoral thesis (compilation)
- 2009
-
Mark
Algorithmic Graph Problems - From Computer Networks to Graph Embeddings
2009)(
- Thesis › Doctoral thesis (compilation)
- 2007
-
Mark
Algorithmic Bounds for Presumably Hard Combinatorial Problems
2007)(
- Thesis › Doctoral thesis (compilation)
- 2003
-
Mark
Approximating Longest Path
2003)(
- Thesis › Licentiate thesis