BibTeX record conf/dac/AmaruMTCPLVMM20

• > Home > conf/dac/AmaruMTCPLVMM20

@inproceedings{DBLP:conf/dac/AmaruMTCPLVMM20,
  author       = {Luca G. Amar{\`{u}} and
                  Felipe S. Marranghello and
                  Eleonora Testa and
                  Christopher Casares and
                  Vinicius N. Possani and
                  Jiong Luo and
                  Patrick Vuillod and
                  Alan Mishchenko and
                  Giovanni De Micheli},
  title        = {SAT-Sweeping Enhanced for Logic Synthesis},
  booktitle    = {57th {ACM/IEEE} Design Automation Conference, {DAC} 2020, San Francisco,
                  CA, USA, July 20-24, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/DAC18072.2020.9218691},
  doi          = {10.1109/DAC18072.2020.9218691},
  timestamp    = {Thu, 15 Oct 2020 08:24:24 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/AmaruMTCPLVMM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}