Piotr Kawałek
mgr
phone (+48-12) 664 75 63
fax (+48-12) 664 66 72
email
address ul. Łojasiewicza 6, 30-348 Kraków
room 3156
office hours środa 14:00-16:00

Master Thesis

Problem liczby generatorów w algebrach nad ciałem

Research Interests

  • Algebra uniwersalna
  • Równania i uklady równań
  • Teoria liczb

Papers

Paweł Idziak, Piotr Kawałek, Jacek Krzaczkowski
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
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
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)
Piotr Kawałek, Michael Kompatscher, Jacek Krzaczkowski
Circuit equivalence in 2-nilpotent algebras arXiv preprint