46 citations · 47 across the 2 of their papers we have counts for
1 paper · 1 filter
Alexander Semenov, Konstantin Chukharev, Egor Tarasov +2
In this paper we investigate how to estimate the hardness of Boolean satisfiability (SAT) encodings for the Logical Equivalence Checking problem (LEC). Meaningful estimates of hard…