TY  - RPRT
TI  - Circuit Satisfiability Problem for circuits of small complexity
AU  - Marsel Matdinov
PY  - 2020
UR  - https://arxiv.org/abs/2009.01139
ID  - 2009.01139
ER  -