We study how the complexity of modular circuits computing AND depends on...
The study of the complexity of the equation satisfiability problem in fi...
In this paper two algorithms solving circuit satisfiability problem over...
In arXiv:1710.08163 a generalization of Boolean circuits to arbitrary fi...
The circuit equivalence problem of a finite algebra A is the
computation...