BibTeX record conf/date/SauerRSPB13

download as .bib file

@inproceedings{DBLP:conf/date/SauerRSPB13,
  author       = {Matthias Sauer and
                  Sven Reimer and
                  Tobias Schubert and
                  Ilia Polian and
                  Bernd Becker},
  editor       = {Enrico Macii},
  title        = {Efficient SAT-based dynamic compaction and relaxation for longest
                  sensitizable paths},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
                  March 18-22, 2013},
  pages        = {448--453},
  publisher    = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year         = {2013},
  url          = {https://doi.org/10.7873/DATE.2013.100},
  doi          = {10.7873/DATE.2013.100},
  timestamp    = {Tue, 21 Mar 2023 20:51:49 +0100},
  biburl       = {https://dblp.org/rec/conf/date/SauerRSPB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics