Jacek Krzaczkowski

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 15

Top Topics

Satisfiability Problem

Expressive Power

Top Venues

Publications

Piotr Kawalek, Michael Kompatscher, Jacek Krzaczkowski
Circuit Equivalence in 2-Nilpotent Algebras. STACS (2024)
Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski
Satisfiability of Circuits and Equations over Finite Malcev Algebras. STACS (2022)
Pawel M. Idziak, Jacek Krzaczkowski
Satisfiability in MultiValued Circuits. SIAM J. Comput. 51 (3) (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)
Pawel M. Idziak, Jacek Krzaczkowski
Satisfiability in multi-valued circuits. LICS (2018)
Pawel M. Idziak, Jacek Krzaczkowski
Satisfiability in multi-valued circuits. CoRR (2017)
Tomasz A. Gorazd, Jacek Krzaczkowski
Term Satisfiability Problem for Two-Element Algebras is in QL or is NQL-Complete. J. Univers. Comput. Sci. 19 (10) (2013)
Tomasz A. Gorazd, Jacek Krzaczkowski
The complexity of problems connected with two-element algebras. Reports Math. Log. 46 (2011)
Tomasz A. Gorazd, Jacek Krzaczkowski
Term equation Satisfiability over Finite Algebras. Int. J. Algebra Comput. 20 (8) (2010)
Jacek Krzaczkowski
Counting solutions of equations over two-element algebras. Ann. UMCS Informatica 5 (1) (2006)