[Mittagsseminar TI] Mittagsseminar am Donnerstag, 8.2.


Today's Mittagsseminar will be Sebastian Bentert's Bachelor defense,
see below.

--------------------------------

Dear all,

I hereby invite you to the defense of my bachelor's thesis titled
“Algorithmic Search for Extremal Functions in 0-1 Matrices”.

The defense will be held in room 051 (Takustraße 9) on Thursday,
February
8th, 2024 at 12:00, and will be held in English.

Advisor and first reviewer: Prof. Dr. László Kozma
Second reviewer:  Benjamin Berendsohn

Best regards,
Sebastian Bentert


Abstract:
This thesis contributes to the study of extremal functions in 0-1
matrices, pivoting from a predominantly theoretical focus to a more
application oriented perspective. The cornerstone of this research is
the
translation of theoretical insights into practical code by treating
matrix
pattern detection as a Constraint Satisfaction Problem (CSP), coupled
with
a systematic search for potential reductions. These strategies turn out
to
be very efficient and enable the examination of a wider range of
matrices.

_______________________________________________
Automatischer Mailverteiler an Gruppe 'ml-iwimi-mi'.
Hinweise dazu siehe Hilfeseite:
https://www.mi.fu-berlin.de/w/Tec/AnkuendigungsVerteiler