Jacek Krzaczkowski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Complexity of modular circuits	2024-12-06	Paper
Equation satisfiability in solvable groups Theory of Computing Systems	2024-10-07	Paper
Satisfiability problems for finite groups	2024-06-24	Paper
Satisfiability of circuits and equations over finite malcev algebras	2024-04-23	Paper
Even Faster Algorithms for CSAT Over supernilpotent Algebras. (available as arXiv preprint)	2022-07-18	Paper
Satisfiability in MultiValued Circuits SIAM Journal on Computing	2022-05-31	Paper
Expressive power, satisfiability and equivalence of circuits over nilpotent algebras	2021-08-04	Paper
Intermediate problems in modular circuits satisfiability Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Satisfiability in multi-valued circuits Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Equation satisfiability in solvable groups	2020-10-22	Paper
Circuit equivalence in 2-nilpotent algebras	2019-09-26	Paper
Loosely-abelian algebras Algebra Universalis	2016-06-09	Paper
The complexity of problems connected with two-element algebras Reports on Mathematical Logic	2012-05-30	Paper
Term equation satisfiability over finite algebras International Journal of Algebra and Computation	2011-01-13	Paper

Research outcomes over time

This page was built for person: Jacek Krzaczkowski