Master Thesis
Problem liczby generatorów w algebrach nad ciałem
Research Interests
- Algebra uniwersalna
- Równania i uklady równań
- Teoria Złożoności
- Ograniczenia dolne na wielkość obwodów
Papers
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
|
- Home
- Algorithmics Research Group
- Foundations of Computer Science
- Faculty of Mathematics and Computer Science
- Contact
- Satori
- Reports on Mathematical Logic
- Forum TCS
- UsosWeb
- Informatyka na szlaku
- Photos
- People
- Bartłomiej Bosek
- Iwona Cieślik
- Jan Derbisz
- Andrzej Dorobisz
- Lech Duraj
- Monika Gillert
- Katarzyna Grygiel
- Grzegorz Guśpiel
- Grzegorz Gutowski
- Grzegorz Herman
- Pawel M. Idziak
- Piotr Kawałek
- Marcin Kozik
- Jakub Kozik
- Tomasz Krawczyk
- Jacek Krzaczkowski
- Agnieszka Łupińska
- Marcin Mazur
- Piotr Micek
- Andrzej Pezarski
- Adam Polak
- Michał Seweryn
- Wojciech Szpankowski
- Maciej Ślusarek
- Krzysztof Turowski
- Bartosz Walczak
- Michał Wrona
- Marek Zaionc
- Former colleagues