Simulated annealing to improve variable orderings for OBDDs (1995)

by B Bollig, M Löbbing, I Wegener
Venue:in: IEEE/ACM International Workshop on Logic Synthesis (IWLS’95