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