by Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Reference:
Circuit Minimization with QBF-Based Exact SynthesisFranz-Xaver Reichl, Friedrich Slivovsky, Stefan SzeiderThirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, 2023, AAAI Press.Note: to appear
Bibtex Entry:
@inproceedings{ReichlSlivovskySzeider23,
author = {Franz{-}Xaver Reichl and
Friedrich Slivovsky and
Stefan Szeider},
title = {Circuit Minimization with QBF-Based Exact Synthesis},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial
Intelligence, {AAAI} 2023},
publisher = {{AAAI} Press},
year = {2023},
keywords = {l2solve,reveal,slim},
note = {to appear}
}