Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051)

Becker, Bernd; Fujita, Masahiro; Meinel, Christoph; Somenzi, Fabio

doi:10.4230/DagSemRep.297

Document

Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051)

Authors Bernd Becker, Masahiro Fujita, Christoph Meinel, Fabio Somenzi

Part of: Volume: Dagstuhl Seminar Reports (DagSemRep)
Part of: Series: Dagstuhl Seminar Reports (DagSemRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2001-04-25

PDF

File

DagSemRep.297.pdf

Filesize: 305 kB
25 pages

Document Identifiers

DOI: 10.4230/DagSemRep.297
URN: urn:nbn:de:0030-drops-151811

Author Details

Bernd Becker

Masahiro Fujita

Christoph Meinel

Fabio Somenzi

Cite As Get BibTex

Bernd Becker, Masahiro Fujita, Christoph Meinel, and Fabio Somenzi. Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051). Dagstuhl Seminar Report 297, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001) https://doi.org/10.4230/DagSemRep.297

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail