Piotr Kawałek
mgr
telefon (+48-12) 664 75 63
fax (+48-12) 664 66 72
email
adres ul. Łojasiewicza 6, 30-348 Kraków
pokój 3156
dyżur środa 14:00-16:00
www prywatna

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

Paweł Idziak, Piotr Kawałek, Jacek Krzaczkowski
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)
Paweł Idziak, Piotr Kawałek, Jacek Krzaczkowski
Intermediate problems in modular circuits satisfiability. LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Piotr Kawałek, Jacek Krzaczkowski
Even faster algorithms for CSAT over supernilpotent algebras. MFCS'20: Proceedings of 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
Piotr Kawałek, Michael Kompatscher, Jacek Krzaczkowski
Circuit equivalence in 2-nilpotent algebras. arXiv preprint
Paweł Idziak, Piotr Kawałek, Jacek Krzaczkowski, Armin Weiß
Equation satisfiability in solvable groups. THEORY OF COMPUTING SYSTEMS (2022)
Paweł M. Idziak, Piotr Kawałek, Jacek Krzaczkowski
Complexity of Modular Circuits. vol. LICS'22; Proc. of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (2022)
Paweł M. Idziak, Piotr Kawałek, Jacek Krzaczkowski
Satisfiability of circuits and equations over finite Malcev algebras. Symposium on Theoretical Aspects of Computer Science STACS'21.
Paweł Idziak, Piotr Kawałek, Jacek Krzaczkowski, Armin Weiss
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