Circuit Minimization with QBF-Based Exact Synthesis

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

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}
}