[S4] _________________________ AMAST Links 02 05

Computer Aided Design and Test

Announcement of a New WWW Page

This is to announce some WWW-pages initiated by the Dagstuhl-Seminar

Computer Aided Design and Test (13.-17.02.1995)

which was organized by

Bernd Becker, Randy Bryant, Oliver Coudert and Christoph Meinel

This time the workshop focussed on Binary Decision Diagrams (BDDs) and related data structures in practical applications as well as in theoretical research.

Up to now the WWW pages include:

abstracts of all the lectures;
a lot of relevant full papers, and
addresses and/or links to the home pages of the participants.

We appreciate (links to) additional material which is relevant to this area.