Jacek Krzaczkowski

According to our database, Jacek Krzaczkowski authored at least 14 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Circuit Equivalence in 2-Nilpotent Algebras.

Piotr Kawalek, Michael Kompatscher, Jacek Krzaczkowski

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2022

Satisfiability in MultiValued Circuits.

Pawel M. Idziak, Jacek Krzaczkowski

SIAM J. Comput., 2022

Satisfiability of Circuits and Equations over Finite Malcev Algebras.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski

Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022

Complexity of Modular Circuits.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Satisfiability Problems for Finite Groups.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Weiß

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2020

Equation satisfiability in solvable groups.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Weiß

CoRR, 2020

Even Faster Algorithms for CSAT Over supernilpotent Algebras.

Piotr Kawalek, Jacek Krzaczkowski

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Intermediate problems in modular circuits satisfiability.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2018

Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

Satisfiability in multi-valued circuits.

Pawel M. Idziak, Jacek Krzaczkowski

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2013

Term Satisfiability Problem for Two-Element Algebras is in QL or is NQL-Complete.

Tomasz A. Gorazd, Jacek Krzaczkowski

J. Univers. Comput. Sci., 2013

2011

The complexity of problems connected with two-element algebras.

Tomasz A. Gorazd, Jacek Krzaczkowski

Reports Math. Log., 2011

2010

Term equation Satisfiability over Finite Algebras.

Tomasz A. Gorazd, Jacek Krzaczkowski

Int. J. Algebra Comput., 2010

2006

Counting solutions of equations over two-element algebras.

Jacek Krzaczkowski

Ann. UMCS Informatica, 2006