FMCAD'98: BDD Study Participants

• Armin Biere (armin@cs.cmu.edu)
  ABCD
• Olivier Coudert(coudert@Synopsys.COM)
  TiGeR
• Geert Janssen(G.L.J.M.Janssen@ele.tue.nl)
  EHV
• Rajeev Ranjan(rajeevr@Synopsys.COM)
  CAL
• Fabio Somenzi(fabio@trane.colorado.edu)
  CUDD
• Bwolen Yang(bwolen@cs.cmu.edu)
  PBF