Engineering an Efficient Boolean Functional Synthesis Engine

Golia, Priyanka; Slivovsky, Friedrich; Roy, Subhajit; Meel, Kuldeep S.

doi:10.1109/ICCAD51958.2021.9643583

by Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel

Reference:

Engineering an Efficient Boolean Functional Synthesis EnginePriyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. MeelIEEE/ACM International Conference On Computer Aided Design, ICCAD 2021, Munich, Germany, November 1-4, 2021, pages 1–9, 2021, IEEE.

Bibtex Entry:

@inproceedings{GoliaSRM21,
  author    = {Priyanka Golia and
               Friedrich Slivovsky and
               Subhajit Roy and
               Kuldeep S. Meel},
  title     = {Engineering an Efficient Boolean Functional Synthesis Engine},
  booktitle = {{IEEE/ACM} International Conference On Computer Aided Design, {ICCAD}
               2021, Munich, Germany, November 1-4, 2021},
  pages     = {1--9},
  publisher = {{IEEE}},
  year      = {2021},
  url       = {10.1109/ICCAD51958.2021.9643583">https://doi.org/10.1109/ICCAD51958.2021.9643583},
  doi       = {10.1109/ICCAD51958.2021.9643583},
  keywords  = {l2solve}
}