%0 Conference Paper %1 conf/date/SauerRSPB13 %A Sauer, Matthias %A Reimer, Sven %A Schubert, Tobias %A Polian, Ilia %A Becker, Bernd %B DATE %D 2013 %E Macii, Enrico %I EDA Consortium San Jose, CA, USA / ACM DL %K dblp %P 448-453 %T Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. %U http://dblp.uni-trier.de/db/conf/date/date2013.html#SauerRSPB13 %@ 978-1-4503-2153-2

@inproceedings{conf/date/SauerRSPB13, added-at = {2015-11-11T00:00:00.000+0100}, author = {Sauer, Matthias and Reimer, Sven and Schubert, Tobias and Polian, Ilia and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f6b942ec835f558867b98b186979d03e/dblp}, booktitle = {DATE}, crossref = {conf/date/2013}, editor = {Macii, Enrico}, ee = {http://dl.acm.org/citation.cfm?id=2485395}, interhash = {8d2bfd7be2bba410a26fc3c7082bda18}, intrahash = {f6b942ec835f558867b98b186979d03e}, isbn = {978-1-4503-2153-2}, keywords = {dblp}, pages = {448-453}, publisher = {EDA Consortium San Jose, CA, USA / ACM DL}, timestamp = {2016-02-02T13:24:15.000+0100}, title = {Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths.}, url = {http://dblp.uni-trier.de/db/conf/date/date2013.html#SauerRSPB13}, year = 2013 }