BibTeX record conf/patmos/AloulHSB02

download as .bib file

@inproceedings{DBLP:conf/patmos/AloulHSB02,
  author       = {Fadi A. Aloul and
                  Soha Hassoun and
                  Karem A. Sakallah and
                  David T. Blaauw},
  editor       = {Bertrand Hochet and
                  Antonio J. Acosta and
                  Manuel J. Bellido},
  title        = {Robust SAT-Based Search Algorithm for Leakage Power Reduction},
  booktitle    = {Integrated Circuit Design. Power and Timing Modeling, Optimization
                  and Simulation, 12th International Workshop, {PATMOS} 2002, Seville,
                  Spain, September 11-13, 2002},
  series       = {Lecture Notes in Computer Science},
  volume       = {2451},
  pages        = {167--177},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45716-X\_17},
  doi          = {10.1007/3-540-45716-X\_17},
  timestamp    = {Fri, 03 Jun 2022 08:18:13 +0200},
  biburl       = {https://dblp.org/rec/conf/patmos/AloulHSB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics