Jacek Krzaczkowski

22 papers A* 5A 2B 2Journal 13
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
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ß
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 J jnl
Satisfiability in MultiValued Circuits.
SIAM J. Comput.
Pawel M. Idziak, Jacek Krzaczkowski
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
2018 A* conf
Satisfiability in multi-valued circuits.
LICS
Pawel M. Idziak, Jacek Krzaczkowski
2017 J jnl
Satisfiability in multi-valued circuits.
CoRR
Pawel M. Idziak, Jacek Krzaczkowski
2013 J jnl
Term Satisfiability Problem for Two-Element Algebras is in QL or is NQL-Complete.
J. Univers. Comput. Sci.
Tomasz A. Gorazd, Jacek Krzaczkowski
2011 J jnl
The complexity of problems connected with two-element algebras.
Reports Math. Log.
Tomasz A. Gorazd, Jacek Krzaczkowski
2010 J jnl
Term equation Satisfiability over Finite Algebras.
Int. J. Algebra Comput.
Tomasz A. Gorazd, Jacek Krzaczkowski
2006 J jnl
Counting solutions of equations over two-element algebras.
Ann. UMCS Informatica
Jacek Krzaczkowski