Christoph Meinel, Christian Stangier. Speeding up symbolic model checking by accelerating dynamic variable reordering. In Majid Sarrafzadeh, Prithviraj Banerjee, Kaushik Roy, editors, Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, Chicago, Illinois, USA, March 2-4, 2000. pages 39-42, ACM, 2000. [doi]