Circuit Minimization with Exact Synthesis: From QBF Back to SAT

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

by Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider

Reference:

Circuit Minimization with Exact Synthesis: From QBF Back to SATFranz-Xaver Reichl, Friedrich Slivovsky, Stefan SzeiderProceedings of the 32nd International Workshop on Logic & Synthesis (IWLS), 2023.

Bibtex Entry:

@inproceedings{ReichlSSb23,
  author    = {Franz{-}Xaver Reichl and
               Friedrich Slivovsky and
               Stefan Szeider},
  booktitle = {Proceedings of the 32nd International Workshop on Logic \& Synthesis (IWLS)},
  title     = {Circuit Minimization with Exact Synthesis: From QBF Back to SAT},
  year      = {2023},
}