@InProceedings{Bollig95Si,
  author="B. Bollig and M. Lobbing and I. Wegener",
  title="Simulated Annealing to Improve Variable Orderings for OBDDs",
  booktitle="Proc. IWLS",
  year=1995}