research
∙
06/05/2021
Complexity of Modular Circuits
We study how the complexity of modular circuits computing AND depends on...
share
research
∙
10/22/2020
Equation satisfiability in solvable groups
The study of the complexity of the equation satisfiability problem in fi...
research
∙
02/20/2020
Even faster algorithms for CSAT over supernilpotent algebras
In this paper two algorithms solving circuit satisfiability problem over...
research
∙
02/20/2020
Intermediate problems in modular circuits satisfiability
In arXiv:1710.08163 a generalization of Boolean circuits to arbitrary fi...
research
∙
09/26/2019
Circuit equivalence in 2-nilpotent algebras
The circuit equivalence problem of a finite algebra A is the computation...
research
∙
10/23/2017