Schedule Summer '96


7/25/96: Rolf Drechsler, Institute of Computer Science, Albert-Ludwigs-University, Germany. drechsle@informatik.uni-freiburg.de

"Decision Diagrams : Representation and Manipulation" Abstract


6/11/96: Joao P. Marques Silva, INESC jpms@inesc.pt

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


5/30/96: Jeffery P. Hansen, Toshiba hansen@sdel.toshiba.co.jp

"Synthesis by Spectral Translation Using Boolean Decision Diagrams" Abstract


Comments and questions can be addressed to CAD Seminar Organizers .
You are not logged in 
Contact 
©2002-2017 U.C. Regents