Pinned Repositories
Academic-Website
Algorithms-Princeton-Pt1
My solutions to the Course Algorithms, Part I by Princeton University
concealSATgen
Generates hard satisfiable CNF formulas in DIMACS format with a known solution. Authors: Jan-Hendrik Lorenz and Florian Wörz.
florianwoerz.github.io
Project-Euler
Some of my solutions to Project Euler
SLS_Evidence_long_tail
Supplementary data of the paper "Evidence for Long-Tails in SLS Algorithms" (ESA 2021) by Florian Wörz and Jan-Hendrik Lorenz.
Template-Uni-Ulm-Seminar-Paper
A template for seminar papers at the Institute of Theoretical Computer Science at Ulm University
Towards-an-Understanding-of-Long-Tailed-Runtimes
Supplementary data of the paper "Towards an Understanding of Long-Tailed Runtimes" by Jan-Hendrik Lorenz and Florian Wörz.
FlorianWoerz's Repositories
FlorianWoerz/concealSATgen
Generates hard satisfiable CNF formulas in DIMACS format with a known solution. Authors: Jan-Hendrik Lorenz and Florian Wörz.
FlorianWoerz/Academic-Website
FlorianWoerz/Algorithms-Princeton-Pt1
My solutions to the Course Algorithms, Part I by Princeton University
FlorianWoerz/florianwoerz.github.io
FlorianWoerz/Project-Euler
Some of my solutions to Project Euler
FlorianWoerz/SLS_Evidence_long_tail
Supplementary data of the paper "Evidence for Long-Tails in SLS Algorithms" (ESA 2021) by Florian Wörz and Jan-Hendrik Lorenz.
FlorianWoerz/Template-Uni-Ulm-Seminar-Paper
A template for seminar papers at the Institute of Theoretical Computer Science at Ulm University
FlorianWoerz/Towards-an-Understanding-of-Long-Tailed-Runtimes
Supplementary data of the paper "Towards an Understanding of Long-Tailed Runtimes" by Jan-Hendrik Lorenz and Florian Wörz.