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
- 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)
Contact
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.
- 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)
