Literature

Uddannelser Stillinger Aktiviteter	Home Personer SiteMap Intranet English

The course uses the textbook:

Introduction to Algorithms
Cormen, Leiserson and Rivest,
MIT Press 1990

and the note "An Introduction to Binary Decision Diagrams" af Henrik Reif Andersen. "Addendum and Erratum": 2 pages to be added to the note.

Additional litterature:

Space- and Time-Efficient BDD Construction via Working Set Control, Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron. In DAC'98.

opdateret 21/08-2000
wwwadm@it-c.dk