prof. dr hab. Paweł Idziak

Equation satisfiability in solvable groups, Theory of Computing Systems (2022),

Satisfiability in multi-valued circuits , SIAM Journal on Computing vol. 51(3) (2022), 337-378

Complexity of Modular Circuits, IEEE Symposium on Logic in Computer Science [LICS] vol. LICS'22; Proc. of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (2022),

Satisfiability problems for finite groups, International Colloquium on Automata Languages and Programming [ICALP](MAIN) vol. ICALP'22; 49th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022), 127:1-127:20

Satisfiability of Circuits and Equations over Finite Malcev Algebras, International Symposium on Theoretical Aspects of Computer Science [STACS] vol. STACS'22; Proc. of the 39th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022), 37:1-37:14

Intermediate problems in modular circuits satisfiability, IEEE Symposium on Logic in Computer Science [LICS] vol. Association for Computing Machinery (ACM) (2020), 578–590

Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras vol. Leibniz International Proceedings in Informatics (LIPIcs) (2018), "43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)", Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Satisfiability in multi-valued circuits, (2018), "Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'18)", Association for Computing Machinery (ACM)

How big is BCI fragment of BCK logic, Journal of Logic and Computation vol. 23(3) (2013), 673-691

The commutator in equivalential algebras and Fregean varieties, Algebra Universalis vol. 65 (2011), 331-340

Tractability and learnabilty arising from algebras with few subpowers, SIAM Journal on Computing vol. 39 (2010), 3023-3037

Varieties with few subalgebras of powers, Transactions of the American Mathematical Society vol. 362 (2010), 1445-1473

The structure of locally finite varieties with polynomially many models, Journal of the American Mathematical Society vol. 22 (2009), 119-165

Definable principal congruences and solvability, Annals of Pure and Applied Logic vol. 157 (2009), 30-49

Fregean Varieties, International Journal of Algebra and Computation vol. 19 (2009), 595–645

Generative Complexity in Algebra, Memoirs of the American Mathematical Society vol. 175 (2005), 1-168

A Characterization of Finitely Decidable Congruence Modular Varieties, Transactions of the American Mathematical Society vol. 349 (1997), 903-934