Linus Witschen. Methoden zur suchbasierten approximativen Logiksynthese. In Rüdiger Reischuk, Sven Apel, Abraham Bernstein, Felix C. Freiling, Hans-Peter Lenhof, Gustaf Neumann, Kay Uwe Römer, Björn Scheuermann 0001, Nicole Schweikardt, Klaus Wehrle, editors, Ausgezeichnete Informatikdissertationen 2022. Volume D-23 of LNI, pages 291-300, GI, 2022. [doi]
Abstract is missing.