Praca magisterska
Problem liczby generatorów w algebrach nad ciałem
Zainteresowania badawcze
- Algebra uniwersalna
- Równania i uklady równań
- Teoria liczb
Publikacje
Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras
43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), vol. Leibniz International Proceedings in Informatics (LIPIcs) (2018), 17:1-17:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik
|
Intermediate problems in modular circuits satisfiability
LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
|
https://drops.dagstuhl.de/opus/volltexte/2020/12722/pdf/LIPIcs-MFCS-2020-55.pdf
Proceedings of 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
|
Circuit equivalence in 2-nilpotent algebras
arXiv preprint
|
- 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
- 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
- Maciej Ślusarek
- Krzysztof Turowski
- Bartosz Walczak
- Michał Wrona
- Marek Zaionc
- Byli współpracownicy