BibTeX record conf/glvlsi/ElbayoumiHE13

• > Home > conf/glvlsi/ElbayoumiHE13

@inproceedings{DBLP:conf/glvlsi/ElbayoumiHE13,
  author       = {Mahmoud Elbayoumi and
                  Michael S. Hsiao and
                  Mustafa Y. ElNainay},
  editor       = {Jos{\'{e}} Luis Ayala and
                  Alex K. Jones and
                  Patrick H. Madden and
                  Ayse K. Coskun},
  title        = {Set-cover-based critical implications selection to improvesat-based
                  bounded model checking: extended abstract},
  booktitle    = {Great Lakes Symposium on {VLSI} 2013 (part of ECRC), GLSVLSI'13, Paris,
                  France, May 2-4, 2013},
  pages        = {331--332},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483028.2483128},
  doi          = {10.1145/2483028.2483128},
  timestamp    = {Tue, 23 Jul 2019 15:03:09 +0200},
  biburl       = {https://dblp.org/rec/conf/glvlsi/ElbayoumiHE13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}