Reichl, Franz-Xaver

1 publications

AAAI 2023 Circuit Minimization with QBF-Based Exact Synthesis Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider