Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits. - Alexander A. Semenov; Konstantin Chukharev; Egor Tarasov; Daniil Chivilikhin; Viktor Kondratiev (CoRR, 2022)