Projekty finansowane przez NCN
Obwody modularne - algorytmy i ograniczenia dolne
2021/41/N/ST6/03907
Słowa kluczowe:
obwody modularne spełnialność równania algorytmy ograniczenia dolne,
Deskryptory:
- ST6_006: Algorytmika, algorytmy równoległe, rozproszone i sieciowe, algorytmiczna teoria gier
- ST6_004: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
- ST1_002: Algebra
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
woj. małopolskie
Konkurs: PRELUDIUM 20 - ogłoszony 2021-03-15
Przyznana kwota: 131 846 PLN
Rozpoczęcie projektu: 2022-02-07
Zakończenie projektu: 2025-02-06
Planowany czas trwania projektu: 36 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
- Teksty w publikacjach pokonferencyjnych (2)
- Violating Constant Degree Hypothesis Requires Breaking SymmetryAutorzy:Piotr Kawałek, Armin WeißKonferencja:42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), Leibniz International Proceedings in Informatics (LIPIcs) (rok: 2025, tom: 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), strony: 21), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für InformatikData:konferencja 4-7 Marzec 2025Status:OpublikowanaDoi:10.4230/LIPIcs.STACS.2025.58 - link do publikacji
- Circuit Equivalence in 2-Nilpotent AlgebrasAutorzy:Piotr Kawałek, Michael Kompatscher, Jacek KrzaczkowskiKonferencja:41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), Leibniz International Proceedings in Informatics (LIPIcs) (rok: 2024, tom: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), strony: 17), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für InformatikData:konferencja 12-14 Marzec 2024Status:OpublikowanaDoi:10.4230/LIPIcs.STACS.2024.45 - link do publikacji