> Details

Becker, Bernd [Author]; Fujita, Masahiro [Author]; Meinel, Christoph [Author]; Somenzi, Fabio [Author] ; Bernd Becker and Masahiro Fujita and Christoph Meinel and Fabio Somenzi [Contributor]

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

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Text; Report; E-Article; E-Book
  • Title: Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051)
  • Contributor: Becker, Bernd [Author]; Fujita, Masahiro [Author]; Meinel, Christoph [Author]; Somenzi, Fabio [Author]
  • Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2001
  • Language: English
  • DOI: https://doi.org/10.4230/DagSemRep.297
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Access State: Open Access