prof. dr hab. Paweł Idziak

Intermediate problems in modular circuits satisfiability, (2020), "LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science", Association for Computing Machinery (ACM)

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, J LOGIC COMPUT vol. 23(3) (2013), 673-691

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

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

Varieties with few subalgebras of powers, T AM MATH SOC vol. 362 (2010), 1445-1473

The structure of locally finite varieties with polynomially many models, J AM MATH SOC vol. 22 (2009), 119-165

Definable principal congruences and solvability, ANN PURE APPL LOGIC vol. 157 (2009), 30-49

Fregean Varieties, INT J ALGEBR COMPUT vol. 19 (2009), 595–645

Generative Complexity in Algebra, MEM AM MATH SOC vol. 175 (2005), 1-168