TY  - RPRT
TI  - SAT-based Circuit Local Improvement
AU  - Alexander S. Kulikov
AU  - Danila Pechenev
AU  - Nikita Slezkin
PY  - 2022
UR  - https://arxiv.org/abs/2102.12579
ID  - 2102.12579
ER  -