8 kwietnia 2025 13:52
Publikacje naszych pracowników na PODS 2025
Prace dwóch naszych naukowców zostały przyjęte na na konferencję ACM SIGMOD/PODS International Conference on Management of Data, która odbędzie się w czerwcu w Berlinie.
W pracy Revisiting Weighted Information Extraction: A Simpler and Faster Algorithm for Ranked Enumeration Paweł Gawrychowski razem z Florinem Manea oraz Markusem L. Schmidem zaprezentowali prostszy i szybszy algorytm dla wyznaczania najlepszych dopasowań danego wyrażenia regularnego do tekstu.
Z kolei Piotr Ostropolski-Nalewaja oraz Lucas Larroque i Michaël Thomazo opublikowali pracę No Cliques Allowed: The Next Step Towards BDD/FC Conjecture. Praca dotyczy reguł egzystencjalnych, a jej głównym celem jest stworzenie przyczółka – w postaci zbioru nowych technik dowodowych – do ataku na hipotezę BDD/FC. Jest to jeden z najbardziej znanych otwartych problemów dotyczących reguł egzystencjalnych. Hipoteza ta odnosi się do pytania, czy pewne, bardzo eleganckie algorytmy opracowane dla nieskończonych struktur przenoszą się na przypadki praktyczne, tzn. czy zachowują swoje własności również w kontekście baz danych.
