Piotr Kawalek

17 papers A* 4A 3B 2Journal 8
YearRankTypeTitle / Venue / Authors
2025 A* conf
Nonuniform Deterministic Finite Automata over Finite Algebraic Structures.
ICALP
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
2025 J jnl
Nonuniform Deterministic Finite Automata over finite algebraic structures.
CoRR
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
2025 A conf
Violating Constant Degree Hypothesis Requires Breaking Symmetry.
STACS
Piotr Kawalek, Armin Weiß
2024 A conf
Circuit Equivalence in 2-Nilpotent Algebras.
STACS
Piotr Kawalek, Michael Kompatscher, Jacek Krzaczkowski
2024 J jnl
Equation Satisfiability in Solvable Groups.
Theory Comput. Syst.
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Weiß
2023 J jnl
Violating Constant Degree Hypothesis Requires Breaking Symmetry.
CoRR
Piotr Kawalek, Armin Weiß
2022 A* conf
Complexity of Modular Circuits.
LICS
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
2022 A* conf
Satisfiability Problems for Finite Groups.
ICALP
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Weiß
2022 A conf
Satisfiability of Circuits and Equations over Finite Malcev Algebras.
STACS
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
2021 J jnl
Complexity of Modular Circuits.
CoRR
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
2020 J jnl
Equation satisfiability in solvable groups.
CoRR
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Weiß
2020 B conf
Even Faster Algorithms for CSAT Over supernilpotent Algebras.
MFCS
Piotr Kawalek, Jacek Krzaczkowski
2020 J jnl
Even faster algorithms for CSAT over~supernilpotent algebras.
CoRR
Piotr Kawalek, Jacek Krzaczkowski
2020 A* conf
Intermediate problems in modular circuits satisfiability.
LICS
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
2020 J jnl
Intermediate problems in modular circuits satisfiability.
CoRR
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
2019 J jnl
Circuit equivalence in 2-nilpotent algebras.
CoRR
Piotr Kawalek, Michael Kompatscher, Jacek Krzaczkowski
2018 B conf
Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras.
MFCS
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski