BibTeX record conf/glvlsi/ChenSVM09

download as .bib file

@inproceedings{DBLP:conf/glvlsi/ChenSVM09,
  author    = {Yibin Chen and
               Sean Safarpour and
               Andreas G. Veneris and
               Jo{\~{a}}o P. Marques Silva},
  editor    = {Fabrizio Lombardi and
               Sanjukta Bhanja and
               Yehia Massoud and
               R. Iris Bahar},
  title     = {Spatial and temporal design debug using partial MaxSAT},
  booktitle = {Proceedings of the 19th {ACM} Great Lakes Symposium on {VLSI} 2009,
               Boston Area, MA, USA, May 10-12 2009},
  pages     = {345--350},
  publisher = {{ACM}},
  year      = {2009},
  url       = {https://doi.org/10.1145/1531542.1531621},
  doi       = {10.1145/1531542.1531621},
  timestamp = {Tue, 06 Nov 2018 16:59:34 +0100},
  biburl    = {https://dblp.org/rec/conf/glvlsi/ChenSVM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics