Piotr Kawałek

Available identifiers

zbMath Open kawalek.piotrMaRDI QIDQ5005116

List of research outcomes

Publication	Date of Publication	Type
Complexity of modular circuits	2024-12-06	Paper
Equation satisfiability in solvable groups	2024-10-07	Paper
Satisfiability problems for finite groups	2024-06-24	Paper
Satisfiability of circuits and equations over finite malcev algebras	2024-04-23	Paper
Even Faster Algorithms for CSAT Over supernilpotent Algebras.	2022-07-18	Paper
Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras.	2021-08-04	Paper
Intermediate problems in modular circuits satisfiability	2021-01-21	Paper
Equation satisfiability in solvable groups	2020-10-22	Paper
Circuit equivalence in 2-nilpotent algebras	2019-09-26	Paper

Research outcomes over time

This page was built for person: Piotr Kawałek