Circuit Minimization with Exact Synthesis: From QBF Back to SAT

Abstract

Full Citation:

Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider. Circuit Minimization with Exact Synthesis: From QBF Back to SAT. Proceedings of the 32nd International Workshop on Logic & Synthesis (IWLS), 2023.

Stefan Szeider

Head of Research Unit

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