Counting solutions of equations over two-element algebras. - Jacek Krzaczkowski (Ann. UMCS Informatica, 2006)

Term equation Satisfiability over Finite Algebras. - Tomasz A. Gorazd; Jacek Krzaczkowski (Int. J. Algebra Comput., 2010)

The complexity of problems connected with two-element algebras. - Tomasz A. Gorazd; Jacek Krzaczkowski (Reports Math. Log., 2011)

Term Satisfiability Problem for Two-Element Algebras is in QL or is NQL-Complete. - Tomasz A. Gorazd; Jacek Krzaczkowski (J. Univers. Comput. Sci., 2013)

Satisfiability in multi-valued circuits. - Pawel M. Idziak; Jacek Krzaczkowski (LICS, 2018)

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)

Satisfiability in MultiValued Circuits. - Pawel M. Idziak; Jacek Krzaczkowski (SIAM J. Comput., 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)