by Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Reference:
Improved Circuit Minimization with Exact SynthesisFranz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider2024, Technical report AC-TR-24-001, Algorithms and Complexity Group, TU Wien.
Bibtex Entry:
@string{ac="Algorithms and Complexity Group, TU Wien"}
@TechReport{ReichlSlivovskySzeider24tr,
author = {Franz-Xaver Reichl and Friedrich Slivovsky and Stefan Szeider},
title = {Improved Circuit Minimization with Exact Synthesis},
institution = AC,
year = {2024},
number = {AC-TR-24-001},
url = {https://www.ac.tuwien.ac.at/files/tr/ac-tr-24-001.pdf},
}