Simulated annealing to improve variable orderings for OBDDs (1995)

by B Bollig, M Lobbing, I Wegener
Venue:In Proceedings of the International Workshop on Logic Synthesis