Creative Commons Attribution 4.0 license (CC BY 4.0)when quoting this document, please refer to the following
DOI: 10.4230/DagSemRep.297
URN: urn:nbn:de:0030-drops-151811
URL: https://drops.dagstuhl.de/opus/volltexte/2021/15181/
Becker, Bernd ; Fujita, Masahiro ; Meinel, Christoph ; Somenzi, Fabio
Weitere Beteiligte (Hrsg. etc.): Bernd Becker and Masahiro Fujita and Christoph Meinel and Fabio Somenzi
Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051)
| pdf-format: |
|
BibTeX - Entry
@TechReport{becker_et_al:DagSemRep.297,
author = {Becker, Bernd and Fujita, Masahiro and Meinel, Christoph and Somenzi, Fabio},
title = {{Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051)}},
pages = {1--25},
ISSN = {1619-0203},
year = {2001},
type = {Dagstuhl Seminar Report},
number = {297},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/15181},
URN = {urn:nbn:de:0030-drops-151811},
doi = {10.4230/DagSemRep.297},
}
| Seminar: | Dagstuhl Seminar Reports | |
| Issue date: | 2021 | |
| Date of publication: | 25.04.2001 |
