no code implementations • 4 Oct 2022 • Alexander Semenov, Konstantin Chukharev, Egor Tarasov, Daniil Chivilikhin, Viktor Kondratiev
We show that the hardness of SAT encodings for LEC instances can be estimated \textit{w. r. t.}