@inproceedings{ReichlSlivovskySzeider23,
 author = {Franz{-}Xaver Reichl and Friedrich Slivovsky and Stefan
Szeider},
 booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
 doi = {10.1609/AAAI.V37I4.25524},
 editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
 keywords = {l2solve, reveal, slim},
 pages = {4087--4094},
 publisher = {{AAAI} Press},
 title = {Circuit Minimization with QBF-Based Exact Synthesis},
 url = {https://doi.org/10.1609/aaai.v37i4.25524},
 year = {2023}
}