Arbeiten, Projekte und Publikationen

Hier werden alle größeren Veröffentlichungen gesammelt, die über die Zeit entstehen. Diese Seite als Publikationsliste zu bezeichnen wäre bei der Menge an Einträgen falsch, stattdessen möchte ich auflisten, wo längere Texte, Projekte und (vor-) wissenschaftliche Arbeiten von mir zu finden sind.

2020

  • Paracooba @FMV, Multi-Core Distributed Multi-Problem Cube-And-Conquer SAT-Solver, Best Presentation Award Gewinner

2018

2017

  • PiGaCo (private project; waiting for stabilizing linux graphics stack with wayland)

2016