Tim Kunt
works
about
misc
Filter by
Medium:
Publication
,
Show
,
Software
,
Game
,
Blog
Topic:
Integer Programming
,
Graph Theory
,
Cultural Theory
,
Chess,
Rating Algorithms
Absolute
Approximation
2025
with Aaron Koblin, Maria Mavropoulou, Damjanski, Sebastian Schmieg, Dawoon Park, Erik Anton Reinhardt and Fang Tsai
Show
Exhibition
at Magdalenenkirche Rixdorf Berlin for 48h Neukölln.
absoluteapproximation.org
Developing heuristic solution techniques for large-scale unit commitment models
2025
with Nils-Christian Kempke, Bassel Katamish, Charlie Vanaret, Shima Sasanpour, Jan-Patrick Clarner, Thorsten Koch
Publication
,
Zuse Institute Berlin
,
Integer Programming
Shifting towards renewable energy sources and reducing carbon emissions necessitate sophisticated energy system planning, optimization, and extension. This article considers a set of large-scale decarbonization-focused unit commitment models with expansion decisions and investigates a series of heuristics as a standalone solution method.
arxiv.org/abs/2502.19012
Solving the n-Queens Problem in Higher Dimension
2024
Publication
,
Zuse Institute Berlin
,
Integer Programming,
Graph Theory
,
Chess
We present an integer programming formulation of the n-queens problem in higher dimensions and several strengthenings through additional valid inequalities. Compared to recent benchmarks, we achieve a speedup in computational time between 15-70x over all instances of the integer programs.
arxiv.org/abs/2410.17873
Schau24
2024
for and with UdK Fashion
Show
,
University of the Arts Berlin
,
Integer Programming
Production for the 2024 Schau at
the Institute of Experimental Fashion and Textile Design, University of the Arts Berlin.
udk-schau.de
design.udk-berlin.de/2024/schau-2024
The n-Queens Problem in Higher Dimensions
2023
Thesis
,
Integer Programming,
Graph Theory,
Chess
,
Technical University Berlin
How many mutually non-attacking queens can be placed on a d-dimensional chessboard of size n?
A comprehensive overview on theoretical results, bounds, solution methods and the interconnectivity of the problem within topics of discrete optimization and combinatorics.
MSc Thesis at Technical University Berlin, Institute of Mathematics, Discrete und Algorithmic Mathematics, supervised by Prof. Dr. Thorsten Koch
Dissonance Within
2023
with Özcan Ertek, Jung Hsu, Fang Tsai and Erik Anton Reinhardt
Show
,
Cultural History and Theory
Participatory exhibition at Zwitschermaschine Berlin.
Dall-ix
2023
with Erik Anton Reinhardt
Game
,
Cultural History and Theory
Historically, intelligence is perceived as human through play. Recently, responses that are not verifiable have led to the perception of intelligence increasingly shifting towards plausibility instead.
We demonstrate that cultural affirmation is desired, or even necessary, for human plausibility and, thus, the perception of intelligence.
Variation on the card game Dixit.
Computing bounds for ranks and qualification of the DPC
2023
Blog
,
Integer Programming
,
DotA,
Zuse Institute Berlin
The Elimination Problem in sports asks whether a team can still achieve a particular result given the current standings of the league and its structure.
In DotA, the major goal of many teams during a season is to qualify for The International (TI), as its prize money and prestige are unmatched. This motivates the question to find individual provable bounds for qualification to TI — in other words: How many points does a certain team need to be qualified for TI at a given point in time?