Anna Slobodová, Christoph Meinel: Sample Method for Minimization of OBDDs. SOFSEM 1998: 419-428