Search space characterization for approximate logic synthesis. - Linus Witschen; Tobias Wiersema; Lucas Reuter; Marco Platzner (DAC, 2022)