Frameworks and methodologies for search-based approximate logic synthesis / by Linus Matthias Witschen ; [Reviewers: Prof. Dr. Marco Platzner, Prof. Dr. Sybille Hellebrand, Prof. Dr. Laura Pozzi]