Piotr Kawalek

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 13

Top Topics

Satisfiability Problem

Guarded Fragment

Temporal Reasoning

Clifford Algebra

Top Venues

Publications

Piotr Kawalek, Michael Kompatscher, Jacek Krzaczkowski
Circuit Equivalence in 2-Nilpotent Algebras. STACS (2024)
Piotr Kawalek, Armin Weiß
Violating Constant Degree Hypothesis Requires Breaking Symmetry. CoRR (2023)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
Satisfiability of Circuits and Equations over Finite Malcev Algebras. STACS (2022)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Weiß
Satisfiability Problems for Finite Groups. ICALP (2022)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
Complexity of Modular Circuits. LICS (2022)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
Complexity of Modular Circuits. CoRR (2021)
Piotr Kawalek, Jacek Krzaczkowski
Even Faster Algorithms for CSAT Over supernilpotent Algebras. MFCS (2020)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
Intermediate problems in modular circuits satisfiability. LICS (2020)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Weiß
Equation satisfiability in solvable groups. CoRR (2020)
Piotr Kawalek, Jacek Krzaczkowski
Even faster algorithms for CSAT over~supernilpotent algebras. CoRR (2020)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
Intermediate problems in modular circuits satisfiability. CoRR (2020)
Piotr Kawalek, Michael Kompatscher, Jacek Krzaczkowski
Circuit equivalence in 2-nilpotent algebras. CoRR (2019)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. MFCS (2018)