@inproceedings{ReichlSSb23,
 author = {Franz{-}Xaver Reichl and
Friedrich Slivovsky and
Stefan Szeider},
 booktitle = {Proceedings of the 32nd International Workshop on Logic \& Synthesis (IWLS)},
 title = {Circuit Minimization with Exact Synthesis: From QBF Back to SAT},
 year = {2023}
}