Circuit Minimization with QBF-Based Exact Synthesis

Reichl, Franz-Xaver; Slivovsky, Friedrich; Szeider, Stefan

doi:10.1609/AAAI.V37I4.25524

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, 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 (Brian Williams, Yiling Chen, Jennifer Neville, eds.), pages 4087–4094, 2023, AAAI Press.

Bibtex Entry:

@inproceedings{ReichlSlivovskySzeider23,
    author    =  {Franz{-}Xaver Reichl and Friedrich Slivovsky and Stefan
                  Szeider},
    title     = {Circuit Minimization with QBF-Based Exact Synthesis},
editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Circuit Minimization with QBF-Based Exact Synthesis},
  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},
  pages        = {4087--4094},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i4.25524},
  doi          = {10.1609/AAAI.V37I4.25524},
  keywords = {l2solve,reveal,slim},
}