January 28 – February 2 , 2001, Dagstuhl Seminar 01051

Computer Aided Design and Test - BDDs versus SAT


Bernd Becker (Universität Freiburg, DE)
Masahiro Fujita (University of Tokyo, JP)
Christoph Meinel (Universität Trier, DE)
Fabio Somenzi (University of Colorado – Boulder, US)

For support, please contact

Dagstuhl Service Team


List of Participants
Dagstuhl-Seminar-Report 297


The focus of the next seminar in the biannual serious of Dagstuhl-seminars on "Computer Aided Design and Test" is on "BDDs vs. SAT". While after 10 years use of BDDs various BDD-based algorithms have been developed and BDD-techniques have seen dramatic improvements only recently SAT based techniques are reconsidered with respect to their usability in Electronic Design Automation and in other applications.

The seminar aims to provide a forum for scientific discussion on

  • both approaches, also on comparisons among various approaches to SAT,
  • the advances in BDD and SAT algorithms,
  • comparisons between BDDs and SAT for various applications e.g., model checking,
  • hybrid approaches that use BDDs and SAT, and
  • other approaches to the decision of Boolean formulae.

Dagstuhl Seminar Series


In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.