SIMULATED ANNEALING TO IMPROVE VARIABLE ORDERINGS FOR OBDDs (1995)

by Beate Bollig , Martin Löbbing , Ingo Wegener
Venue:IN INT'L WORKSHOP ON LOGIC SYNTH
Citations:37 - 4 self