Praca magisterska
Problem liczby generatorów w algebrach nad ciałem
Zainteresowania badawcze
- Algebra uniwersalna
- Równania i uklady równań
- Teoria Złożoności
- Ograniczenia dolne na wielkość obwodów
Publikacje
Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras.
MFCS'18: Proceedings of 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)
|
Intermediate problems in modular circuits satisfiability.
LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
|
Even faster algorithms for CSAT over supernilpotent algebras.
MFCS'20: Proceedings of 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
|
Circuit equivalence in 2-nilpotent algebras.
arXiv preprint
|
Equation satisfiability in solvable groups.
THEORY OF COMPUTING SYSTEMS (2022)
|
Complexity of Modular Circuits.
vol. LICS'22; Proc. of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (2022)
|
Satisfiability of circuits and equations over finite Malcev algebras.
Symposium on Theoretical Aspects of Computer Science STACS'21.
|
Satisfiability problems for finite groups.
vol. ICALP'22; 49th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022), 127:1-127:20
|
- Strona Główna
- Katedra Algorytmiki
- Katedra Podstaw Informatyki
- Wydział Matematyki i Informatyki
- Kontakt
- Satori
- Reports on Mathematical Logic
- Forum TCS
- UsosWeb
- Informatyka na szlaku
- Galeria
- Ludzie
- Bartłomiej Bosek
- Marcin Briański
- Iwona Cieślik
- Jan Derbisz
- Andrzej Dorobisz
- Lech Duraj
- Monika Gillert
- Katarzyna Grygiel
- Grzegorz Gutowski
- Grzegorz Herman
- Pawel M. Idziak
- Piotr Kawałek
- Marcin Kozik
- Jakub Kozik
- Tomasz Krawczyk
- Jacek Krzaczkowski
- Xuân La
- Agnieszka Łupińska
- Piotr Micek
- Jonathan Narboni
- Andrzej Pezarski
- Bartosz Podkanowicz
- Adam Polak
- Krzysztof Potępa
- Wojciech Szpankowski
- Maciej Ślusarek
- Jan Tułowiecki
- Krzysztof Turowski
- Bartosz Walczak
- Michał Wrona
- Marek Zaionc
- Byli współpracownicy