Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski (MFCS, 2018)

Intermediate problems in modular circuits satisfiability. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski (LICS, 2020)

Even Faster Algorithms for CSAT Over supernilpotent Algebras. - Piotr Kawalek; Jacek Krzaczkowski (MFCS, 2020)

Satisfiability Problems for Finite Groups. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski; Armin Weiß (ICALP, 2022)

Complexity of Modular Circuits. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski (LICS, 2022)

Satisfiability of Circuits and Equations over Finite Malcev Algebras. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski (STACS, 2022)

Circuit Equivalence in 2-Nilpotent Algebras. - Piotr Kawalek; Michael Kompatscher; Jacek Krzaczkowski (STACS, 2024)

Equation Satisfiability in Solvable Groups. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski; Armin Weiß (Theory Comput. Syst., 2024)

Nonuniform Deterministic Finite Automata over Finite Algebraic Structures. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski (ICALP, 2025)

Violating Constant Degree Hypothesis Requires Breaking Symmetry. - Piotr Kawalek; Armin Weiß (STACS, 2025)