Block or Report
Block or report FlorianWoerz
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
concealSATgen
concealSATgen PublicGenerates hard satisfiable CNF formulas in DIMACS format with a known solution. Authors: Jan-Hendrik Lorenz and Florian Wörz.
-
Algorithms-Princeton-Pt1
Algorithms-Princeton-Pt1 PublicMy solutions to the Course Algorithms, Part I by Princeton University
Java 1
-
-
SLS_Evidence_long_tail
SLS_Evidence_long_tail PublicForked from TotallyFakeName/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.
Jupyter Notebook
-
-
Template-Uni-Ulm-Seminar-Paper
Template-Uni-Ulm-Seminar-Paper PublicA template for seminar papers at the Institute of Theoretical Computer Science at Ulm University
TeX 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.