Mini-Workshop TCS at TuDo and RUB
theoretical computer science at the Universities of Dortmund and Bochum. Each session consists of about 3 conference-length (25 min.) talks. Next session MW 38, May 5, 2025 Corentin Barloy (Ruhr University [...] years, by providing a characterization of the regular languages computable by polynomial-size, depth-3 circuits with constant top fan-in. Francesco Masillo (TU Dortmund) : A Textbook Solution for Dynamic [...] variants of the above algorithmic problem, e.g. showing NP-hardness for very restricted variants; and (3) solving the problem for datasets from CS education research by encoding it into propositional sati …
