Dr. Dominik Krupke's repositories
cpsat-primer
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
CP-SAT-Log-Analyzer
A webapp that visualizes and annotates your ortools' CP-SAT logs. Partially inspired by gurobi-logtools.
ALENEX24-partial-coverage-path-planning
Code and Data for the Paper "Near-Optimal Coverage Path Planning with Turn Costs" ALENEX 2024
slurminade
A decorator-based slurm runner.
CheckMyTex
A tool to comfortably check complex LaTeX documents, e.g., dissertations.
skbuild-conan
An extension for scikit-build to add C++-dependencies as easily as Python dependencies via conan.
close-enough-tsp
A Branch&Bound-based solver for the close-enough TSP, optimized as subroutine for coverage path planning.
bipartite_vertex_cover
Optimal vertex covers in bipartite graphs in C++ and Boost Graph Library. Simple interface and copy&paste integration.
dispersive_agp_solver
An exact solver for the Dispersive Art Gallery Problem
eurocg18-angularft
Material for "Beam It Up, Scotty: Angular Freeze-Tag with Directional Antennas" - Fekete and Krupke - EuroCG 2018 Berlin
primal_dual_weighted_set_cover
A primal dual algorithm for weighted set cover. Especially for the case when the number of sets an element can occur in is limited (like in Vertex Cover for which this algorithm is a 2-APX).
dissertation
Code and data used in my dissertation.
folder_anchor
A tool for automatically creating symbolic links.
folder_compiler
A simple python util to 'compile' a folder, e.g. for static webpages.
drone-range-assignment
A range-assignment optimizer for networks with drones
folder_compiler_static_website
A very simple static website generator util in Python
mabwiser
[IJAIT 2021] MABWiser: Contextual Multi-Armed Bandits Library
MLST-INGA
A Maximum Leaf Spanning Tree (based on Algorithm of Habibi and McLurkin) implemented for INGA-Wireless Sensor Nodes. Leaves of this tree are allowed to go offline and thus safe energy. Additionally energy aware variations of this algorithm, considering the power state of the nodes. Nodes with low energy are more likely to become leaves.
playground_multi_agent_motion_planning
A bunch of prototypes for optimizing Multi-Agent Motion Planning using Mathematical Optimization
tilt-applets
Javascript web applets to show some tilt problems.
topp
The Open Problems Project