Schedule Summer '96

7/25/96: Rolf Drechsler, Institute of Computer Science, Albert-Ludwigs-University, Germany.

"Decision Diagrams : Representation and Manipulation" Abstract

6/11/96: Joao P. Marques Silva, INESC

"GRASP -- A New Search Algorithm for Satisfiability" Abstract

5/30/96: Jeffery P. Hansen, Toshiba

"Synthesis by Spectral Translation Using Boolean Decision Diagrams" Abstract

Comments and questions can be addressed to CAD Seminar Organizers .
©2002-2018 U.C. Regents