TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 01051

Computer Aided Design and Test – BDDs versus SAT

( Jan 28 – Feb 02, 2001 )

(Click in the middle of the image to enlarge)

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/01051

Organizers



Motivation

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.

Participants
  • Henrik Reif Andersen (IT University of Copenhagen, DK)
  • Luis Baptista (INESC-ID - Lisboa, PT)
  • Bernd Becker (Universität Freiburg, DE) [dblp]
  • Armin Biere (ETH Zürich, CH) [dblp]
  • Per Bjesse (Chalmers UT - Göteborg, SE)
  • Beate Bollig (TU Dortmund, DE) [dblp]
  • Robert Brayton (University of California - Berkeley, US)
  • Forrest Brewer (University of California - Santa Barbara, US)
  • Reinhard Budde (Fraunhofer IAIS - St. Augustin, DE)
  • Gianpiero Cabodi (Polytechnic University of Torino, IT)
  • Rolf Drechsler (Siemens - München, DE) [dblp]
  • Elena Dubrova (KTH Royal Institute of Technology, SE) [dblp]
  • Reinhard Enders (Siemens - München, DE)
  • Rainer Feldmann (Universität Paderborn, DE)
  • Riccardo Forth (Martin-Luther-Universität Halle-Wittenberg, DE)
  • Masahiro Fujita (University of Tokyo, JP) [dblp]
  • Eugene Goldberg (Cadence Labs - Berkeley, US)
  • Aarti Gupta (NEC Laboratories America, Inc. - Princeton, US) [dblp]
  • Ziyad Hanna (Intel Israel - Haifa, IL)
  • Marc Herbstritt (Universität Freiburg, DE) [dblp]
  • Andreas Hett (Universität Freiburg, DE)
  • Alan Hu (University of British Columbia - Vancouver, CA) [dblp]
  • Warren A. Hunt (IBM Research Lab. - Austin, US)
  • Geert Janssen (IBM TJ Watson Research Center - Yorktown Heights, US)
  • Pawel Kerntopf (Warsaw University of Technology, PL)
  • Matthias Krause (Universität Mannheim, DE) [dblp]
  • Andreas Kühlmann (Cadence Labs - Berkeley, US)
  • Jim Kukula (Synopsys - Beaverton, US)
  • Christoph Meinel (Universität Trier, DE)
  • Rustam Mubarakzjanov (Universität Trier, DE)
  • Abelardo Pardo (Univ. Carlos III - Madrid, ES)
  • Richard Raimi (BOPS Inc.- Austin, US)
  • Harald Sack (Universität Trier, DE) [dblp]
  • Karem A. Sakallah (University of Michigan - Ann Arbor, US) [dblp]
  • Martin Sauerhoff (TU Dortmund, DE)
  • Christoph Scholl (Universität Freiburg, DE) [dblp]
  • Mary Sheeran (Chalmers UT - Göteborg, SE) [dblp]
  • Detlef Sieling (TU Dortmund, DE)
  • Anna Slobodova (HP - Cambridge, US)
  • Fabio Somenzi (University of Colorado - Boulder, US)
  • Christian Stangier (Universität Trier, DE)
  • Ted Stanion (Synopsys - Beaverton, US)
  • Ingo Wegener (TU Dortmund, DE)
  • Lintao Zhang (Princeton University, US)

Related Seminars
  • Dagstuhl Seminar 9108: Entwerfen, Prüfen, Testen (1991-02-18 - 1991-02-22) (Details)
  • Dagstuhl Seminar 9307: Computer Aided Design and Test (1993-02-15 - 1993-02-19) (Details)
  • Dagstuhl Seminar 9507: Computer Aided Design and Test (1995-02-13 - 1995-02-17) (Details)
  • Dagstuhl Seminar 9705: Computer Aided Design and Test Decision Diagrams - Concepts and Applications (1997-01-27 - 1997-01-31) (Details)
  • Dagstuhl Seminar 99041: Computer Aided Design and Test Decision Diagrams - Concepts and Applications (1999-01-24 - 1999-01-29) (Details)