Improved Circuit Minimization with Exact Synthesis

Abstract

Full Citation:

Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider. Improved Circuit Minimization with Exact Synthesis. 2024, Technical report AC-TR-24-001, Algorithms and Complexity Group, TU Wien.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.