Hierarchical Stochastic SAT and Quality Assessment of Logic Locking. - Christoph Scholl 001; Tobias Seufert; Fabian Siegwolf (SAT, 2024)